From 9222d3b45040545c3e9b5ca7cc1c0d1f98594514 Mon Sep 17 00:00:00 2001
From: Sebastian Krings <sebastian@krin.gs>
Date: Mon, 7 Jan 2013 11:48:57 +0100
Subject: [PATCH] fix separators
---
de.prob.units/plugin.xml | 6 ++++--
1 file changed, 4 insertions(+), 2 deletions(-)
diff --git a/de.prob.units/plugin.xml b/de.prob.units/plugin.xml
index 2b12b858..9c40c5db 100644
--- a/de.prob.units/plugin.xml
+++ b/de.prob.units/plugin.xml
@@ -52,7 +52,8 @@
<menuContribution
locationURI="popup:fr.systerel.explorer.navigator.view">
<separator
- name="de.prob.units.separator2">
+ name="de.prob.units.separator2"
+ visible="true">
</separator>
<command
commandId="de.prob.units.startunitanalysis"
@@ -72,7 +73,8 @@
</visibleWhen>
</command>
<separator
- name="de.prob.units.separator1">
+ name="de.prob.units.separator1"
+ visible="true">
</separator>
</menuContribution>
</extension>
--
GitLab