Merge branch 'master' of gitlab.enst.fr:mbe-tools/TTool

build.txt

src/main/java/ui/ActionPerformer.java

src/main/java/ui/GTMLModeling.java

src/main/java/ui/GTURTLEModeling.java

src/main/java/ui/JToolBarMainTurtle.java

src/main/java/ui/MainGUI.java

src/main/java/ui/ModeManager.java

src/main/java/ui/PanelKeyListener.java

src/main/java/ui/TDiagramMouseManager.java

src/main/java/ui/TDiagramPanel.java

src/main/java/ui/TGCPanelInfo.java

src/main/java/ui/TGCWithInternalComponent.java

src/main/java/ui/TGComponent.java

src/main/java/ui/TGUIAction.java

src/main/java/ui/util/DefaultText.java

src/main/java/ui/util/IconManager.java

src/main/java/ui/window/JDialogSMDLibraryFunctionCall.java

...urces/ui/util/toolbarButtonGraphics/navigation/Left16.gif

...rces/ui/util/toolbarButtonGraphics/navigation/Right16.gif