From c457c5759ade5e26d3fe793bb7c4be1615987ffe Mon Sep 17 00:00:00 2001
From: dblouin <dominique.blouin@telecom-paristech.fr>
Date: Tue, 18 Apr 2017 17:30:26 +0200
Subject: [PATCH] Corrected identation
---
src/ui/JMenuBarTurtle.java | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/ui/JMenuBarTurtle.java b/src/ui/JMenuBarTurtle.java
index a2903dd628..b5f56eae63 100755
--- a/src/ui/JMenuBarTurtle.java
+++ b/src/ui/JMenuBarTurtle.java
@@ -613,7 +613,7 @@ public class JMenuBarTurtle extends JMenuBar {
menuItem.addMouseListener(mgui.mouseHandler);
menuItem = help.add(mgui.actions[TGUIAction.ACT_DIPLODOCUS_DOCUMENTATION]);
menuItem.addMouseListener(mgui.mouseHandler);
- menuItem = help.add(mgui.actions[TGUIAction.ACT_SYSMLSEC_DOCUMENTATION]);
+ menuItem = help.add(mgui.actions[TGUIAction.ACT_SYSMLSEC_DOCUMENTATION]);
menuItem.addMouseListener(mgui.mouseHandler);
help.addSeparator();
menuItem = help.add(mgui.actions[TGUIAction.ACT_TURTLE_WEBSITE]);
--
GitLab