quick add help

This commit is contained in:
Andrew Lalis 2021-02-23 09:13:21 +01:00
parent d70426c407
commit 657aece1ac
1 changed files with 1 additions and 3 deletions

View File

@ -48,9 +48,7 @@ public class EditorMenuBar extends JMenuBar {
private JMenu buildHelpMenu() { private JMenu buildHelpMenu() {
JMenu menu = new JMenu("Help"); JMenu menu = new JMenu("Help");
menu.add(InstructionsAction.getInstance()); menu.add(InstructionsAction.getInstance());
if (this.includeAdminActions) {
menu.add(MappingAlgorithmHelpAction.getInstance()); menu.add(MappingAlgorithmHelpAction.getInstance());
}
menu.add(LoadSampleModelAction.getInstance()); menu.add(LoadSampleModelAction.getInstance());
menu.add(AboutAction.getInstance()); menu.add(AboutAction.getInstance());
return menu; return menu;