|
|
@@ -138,7 +138,11 @@ public final class ButtonManager {
|
|
|
|
|
|
ToolboxManager.setOperatorItems();
|
|
|
setBorderStyle((Button) arg0.getSource());
|
|
|
+<<<<<<< HEAD
|
|
|
|
|
|
+=======
|
|
|
+
|
|
|
+>>>>>>> branch 'Jascha' of https://git.tk.informatik.tu-darmstadt.de/julien.gedeon/bp-scopviz.git
|
|
|
controller.getOpenButton().setText("Open...");
|
|
|
}
|
|
|
|
|
|
@@ -162,7 +166,7 @@ public final class ButtonManager {
|
|
|
* Handler for the Symbol Representation Layer switch Button.
|
|
|
*/
|
|
|
public static void symbolRepAction(ActionEvent arg0) {
|
|
|
-
|
|
|
+
|
|
|
if (!(GraphDisplayManager.getCurrentLayer().equals(Layer.SYMBOL))) {
|
|
|
|
|
|
// add a copy of the underlay graph to the the symbol layer
|
