From be65d23a3c27f88712d0efab4407cdda33f3e35f Mon Sep 17 00:00:00 2001
From: Ludovic Apvrille <ludovic.apvrille@telecom-paristech.fr>
Date: Thu, 6 Jun 2013 11:16:17 +0000
Subject: [PATCH] Update on static analysis icon
---
src/ui/JToolBarMainTurtle.java | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/ui/JToolBarMainTurtle.java b/src/ui/JToolBarMainTurtle.java
index 275073a4e5..24dd205157 100755
--- a/src/ui/JToolBarMainTurtle.java
+++ b/src/ui/JToolBarMainTurtle.java
@@ -268,7 +268,7 @@ public class JToolBarMainTurtle extends JToolBar {
avatarFVProVerif.setVisible(b);
}
//avatarFVStaticAnalysis.setVisible(b);
- avatarFVStaticAnalysis.setVisible(false);
+ avatarFVStaticAnalysis.setVisible(b);
avatarCodeGeneration.setVisible(b);
if (genrtlotos != null) {
--
GitLab