From 657aece1acbda4a6d64642b8fc161d29da96a53e Mon Sep 17 00:00:00 2001 From: Andrew Lalis Date: Tue, 23 Feb 2021 09:13:21 +0100 Subject: [PATCH] quick add help --- src/main/java/nl/andrewlalis/erme/view/EditorMenuBar.java | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) diff --git a/src/main/java/nl/andrewlalis/erme/view/EditorMenuBar.java b/src/main/java/nl/andrewlalis/erme/view/EditorMenuBar.java index 3fe0891..f2a5770 100644 --- a/src/main/java/nl/andrewlalis/erme/view/EditorMenuBar.java +++ b/src/main/java/nl/andrewlalis/erme/view/EditorMenuBar.java @@ -48,9 +48,7 @@ public class EditorMenuBar extends JMenuBar { private JMenu buildHelpMenu() { JMenu menu = new JMenu("Help"); menu.add(InstructionsAction.getInstance()); - if (this.includeAdminActions) { - menu.add(MappingAlgorithmHelpAction.getInstance()); - } + menu.add(MappingAlgorithmHelpAction.getInstance()); menu.add(LoadSampleModelAction.getInstance()); menu.add(AboutAction.getInstance()); return menu;