electrum version

haslab · May 22, 2018 · ccb6bd8 · ccb6bd8
1 parent 1af47b8
commit ccb6bd8
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/electrum/src/main/java/edu/mit/csail/sdg/alloy4viz/VizGUI.java b/electrum/src/main/java/edu/mit/csail/sdg/alloy4viz/VizGUI.java
@@ -361,7 +361,7 @@ public VizGUI(boolean standalone, String xmlFileName, JMenu windowmenu, Computer
 	      this.enumerator = enumerator;
 	      this.standalone = standalone;
 	      this.evaluator = evaluator;
-	      this.frame = makeWindow ? new JFrame("Alloy Visualizer") : null;
+	      this.frame = makeWindow ? new JFrame("Alloy (Electrum) Visualizer") : null; // [HASLab]
 
 	      // Figure out the desired x, y, width, and height
 	      int screenWidth=OurUtil.getScreenWidth(), screenHeight=OurUtil.getScreenHeight();
@@ -716,7 +716,7 @@ public void loadXML(final String fileName, boolean forcefully, int state) {
 	      windowmenu.setEnabled(true);
 	      if (frame!=null) {
 	         frame.setVisible(true);
-	         frame.setTitle("Alloy Visualizer "+Version.version()+" loading... Please wait...");
+	         frame.setTitle("Alloy Visualizer "+Version.version() + " (Electrum Analyzer "+Version.eleVersion()+")"+" loading... Please wait..."); // [HASLab]
 	         OurUtil.show(frame);
 	      }
 	      updateDisplay();