Commit 08f17a39 authored by Sarah Grebing's avatar Sarah Grebing

minor view change

parent 724ad2c0
Pipeline #23398 failed with stages
in 0 seconds
...@@ -134,14 +134,13 @@ public class TacletContextMenu extends ContextMenu { ...@@ -134,14 +134,13 @@ public class TacletContextMenu extends ContextMenu {
final ImmutableList<BuiltInRule> builtInRules = c.getBuiltInRule(goal, occ); final ImmutableList<BuiltInRule> builtInRules = c.getBuiltInRule(goal, occ);
try { try {
createMacroMenu(KeYApi.getScriptCommandApi().getScriptCommands(), KeYApi.getMacroApi().getMacros());
ImmutableList<TacletApp> findTaclet = c.getFindTaclet(goal, occ); ImmutableList<TacletApp> findTaclet = c.getFindTaclet(goal, occ);
createTacletMenu( createTacletMenu(
removeRewrites(findTaclet) removeRewrites(findTaclet)
.prepend(c.getRewriteTaclet(goal, occ)), .prepend(c.getRewriteTaclet(goal, occ)),
c.getNoFindTaclet(goal), builtInRules); c.getNoFindTaclet(goal), builtInRules);
createMacroMenu(KeYApi.getScriptCommandApi().getScriptCommands(), KeYApi.getMacroApi().getMacros());
} catch (NullPointerException e) { } catch (NullPointerException e) {
createDummyMenuItem(); createDummyMenuItem();
} }
...@@ -174,10 +173,7 @@ public class TacletContextMenu extends ContextMenu { ...@@ -174,10 +173,7 @@ public class TacletContextMenu extends ContextMenu {
this.scriptCommands.getItems().add(item); this.scriptCommands.getItems().add(item);
} }
} }
rootMenu.getItems().add(scriptCommands); // rootMenu.getItems().add(scriptCommands);
} }
/** /**
...@@ -271,7 +267,6 @@ public class TacletContextMenu extends ContextMenu { ...@@ -271,7 +267,6 @@ public class TacletContextMenu extends ContextMenu {
} else { } else {
noRules.setVisible(true); noRules.setVisible(true);
} }
if (occ != null) if (occ != null)
createAbbrevSection(pos.getPosInOccurrence().subTerm()); createAbbrevSection(pos.getPosInOccurrence().subTerm());
} }
...@@ -385,7 +380,6 @@ public class TacletContextMenu extends ContextMenu { ...@@ -385,7 +380,6 @@ public class TacletContextMenu extends ContextMenu {
/*if (!insertHiddenController.isEmpty()) /*if (!insertHiddenController.isEmpty())
insertHiddenController.setVisible(true); insertHiddenController.setVisible(true);
*/ */
} }
/** /**
......
...@@ -10,7 +10,6 @@ ...@@ -10,7 +10,6 @@
<!-- <fx:include fx:id="insertHidden" visible="false" source="InsertHiddenMenuView.fxml"/>--> <!-- <fx:include fx:id="insertHidden" visible="false" source="InsertHiddenMenuView.fxml"/>-->
<Menu fx:id="moreRules" visible="false" text="More rules"/> <Menu fx:id="moreRules" visible="false" text="More rules"/>
<Menu fx:id="scriptCommands" visible="true" text="Script Commands"/>
<!-- <SeparatorMenuItem/> --> <!-- <SeparatorMenuItem/> -->
<!-- <MenuItem mnemonicParsing="false" onAction="#handleFocussedRuleApplication" <!-- <MenuItem mnemonicParsing="false" onAction="#handleFocussedRuleApplication"
...@@ -19,6 +18,9 @@ ...@@ -19,6 +18,9 @@
<!-- <!--
<fx:include fx:id="proofMacroMenu" source="ProofMacroMenuView.fxml"/> <fx:include fx:id="proofMacroMenu" source="ProofMacroMenuView.fxml"/>
--> -->
<SeparatorMenuItem/>
<Menu fx:id="scriptCommands" visible="true" text="Script Commands"/>
<SeparatorMenuItem/> <SeparatorMenuItem/>
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment