From da00fd24f6df128fa42feb607dc9963b3e0c248d Mon Sep 17 00:00:00 2001 From: Ludovic Apvrille <ludovic.apvrille@telecom-paristech.fr> Date: Tue, 3 Jul 2018 14:00:25 +0200 Subject: [PATCH] Correcting openLast option --- src/main/java/ui/MainGUI.java | 3 ++- src/main/java/ui/avatarrd/AvatarRDRequirement.java | 1 - 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/src/main/java/ui/MainGUI.java b/src/main/java/ui/MainGUI.java index 42b6277bb3..16c592aa18 100644 --- a/src/main/java/ui/MainGUI.java +++ b/src/main/java/ui/MainGUI.java @@ -346,6 +346,7 @@ public class MainGUI implements ActionListener, WindowListener, KeyListener, Per _uppaalOn, boolean _ncOn, boolean _avatarOn, boolean _proverifOn, boolean _avatarOnly, boolean _experimental) { openLast = _openLast; + TraceManager.addDev("openLast=" + openLast); turtleOn = _turtleOn; systemcOn = _systemcOn; lotosOn = _lotosOn; @@ -535,7 +536,7 @@ public class MainGUI implements ActionListener, WindowListener, KeyListener, Per frame.setJMenuBar(jmenubarturtle); // if openLast, must open the latest specification (if it exists) - if (ConfigurationTTool.LastOpenFileDefined) { + if ((ConfigurationTTool.LastOpenFileDefined) && (openLast)) { openLastProject(); } diff --git a/src/main/java/ui/avatarrd/AvatarRDRequirement.java b/src/main/java/ui/avatarrd/AvatarRDRequirement.java index 30cef24c7d..4a12b9d4d7 100755 --- a/src/main/java/ui/avatarrd/AvatarRDRequirement.java +++ b/src/main/java/ui/avatarrd/AvatarRDRequirement.java @@ -364,7 +364,6 @@ public class AvatarRDRequirement extends TGCScalableWithInternalComponent implem } - g.setFont(f); } -- GitLab