From 4be29cf70a2ceda4c648320aa9b377cfde8b8455 Mon Sep 17 00:00:00 2001
From: Ludovic Apvrille <ludovic.apvrille@telecom-paristech.fr>
Date: Thu, 5 Oct 2017 14:36:17 +0200
Subject: [PATCH] Resolving bug on graph viz
---
src/main/java/ui/graph/AUTGraphDisplay.java | 9 ++++++++-
1 file changed, 8 insertions(+), 1 deletion(-)
diff --git a/src/main/java/ui/graph/AUTGraphDisplay.java b/src/main/java/ui/graph/AUTGraphDisplay.java
index 1322cd8104..026b62957b 100755
--- a/src/main/java/ui/graph/AUTGraphDisplay.java
+++ b/src/main/java/ui/graph/AUTGraphDisplay.java
@@ -212,6 +212,7 @@ public class AUTGraphDisplay implements MouseListener, ViewerListener, Runnable
// to avoid 100% CPU usage. The blockingPump() method is only available from
// the nightly builds.
}
+ //viewPipe = null;
}
@@ -224,8 +225,14 @@ public class AUTGraphDisplay implements MouseListener, ViewerListener, Runnable
}
public void viewClosed(String id) {
- TraceManager.addDev("View closed");
+ TraceManager.addDev("View closed and closed !");
loop = false;
+ if (viewer != null) {
+ viewer.close();
+ viewer.disableAutoLayout();
+ }
+ viewer = null;
+ vGraph.clear();
if (exitOnClose) {
System.exit(1);
}
--
GitLab