|
@@ -5,6 +5,7 @@ import java.util.ArrayList;
|
|
import org.graphstream.graph.Edge;
|
|
import org.graphstream.graph.Edge;
|
|
import org.graphstream.graph.Graph;
|
|
import org.graphstream.graph.Graph;
|
|
import org.graphstream.graph.Node;
|
|
import org.graphstream.graph.Node;
|
|
|
|
+import org.graphstream.graph.implementations.Graphs;
|
|
import org.graphstream.ui.geom.Point3;
|
|
import org.graphstream.ui.geom.Point3;
|
|
|
|
|
|
import de.tu_darmstadt.informatik.tk.scopviz.debug.Debug;
|
|
import de.tu_darmstadt.informatik.tk.scopviz.debug.Debug;
|
|
@@ -167,7 +168,10 @@ public final class ButtonManager {
|
|
controller.toolbox.setVisible(true);
|
|
controller.toolbox.setVisible(true);
|
|
controller.symbolToolVBox.setVisible(false);
|
|
controller.symbolToolVBox.setVisible(false);
|
|
|
|
|
|
|
|
+ controller.propertiesObjectColumn.setEditable(true);
|
|
|
|
+
|
|
}
|
|
}
|
|
|
|
+
|
|
GraphDisplayManager.setCurrentLayer(Layer.UNDERLAY);
|
|
GraphDisplayManager.setCurrentLayer(Layer.UNDERLAY);
|
|
GraphDisplayManager.switchActiveGraph();
|
|
GraphDisplayManager.switchActiveGraph();
|
|
|
|
|
|
@@ -187,6 +191,8 @@ public final class ButtonManager {
|
|
controller.toolbox.setVisible(true);
|
|
controller.toolbox.setVisible(true);
|
|
controller.symbolToolVBox.setVisible(false);
|
|
controller.symbolToolVBox.setVisible(false);
|
|
|
|
|
|
|
|
+ controller.propertiesObjectColumn.setEditable(true);
|
|
|
|
+
|
|
}
|
|
}
|
|
|
|
|
|
GraphDisplayManager.setCurrentLayer(Layer.OPERATOR);
|
|
GraphDisplayManager.setCurrentLayer(Layer.OPERATOR);
|
|
@@ -208,6 +214,8 @@ public final class ButtonManager {
|
|
controller.toolbox.setVisible(true);
|
|
controller.toolbox.setVisible(true);
|
|
controller.symbolToolVBox.setVisible(false);
|
|
controller.symbolToolVBox.setVisible(false);
|
|
|
|
|
|
|
|
+ controller.propertiesObjectColumn.setEditable(true);
|
|
|
|
+
|
|
}
|
|
}
|
|
|
|
|
|
GraphDisplayManager.setCurrentLayer(Layer.MAPPING);
|
|
GraphDisplayManager.setCurrentLayer(Layer.MAPPING);
|
|
@@ -229,6 +237,8 @@ public final class ButtonManager {
|
|
controller.toolbox.setVisible(false);
|
|
controller.toolbox.setVisible(false);
|
|
controller.symbolToolVBox.setVisible(true);
|
|
controller.symbolToolVBox.setVisible(true);
|
|
|
|
|
|
|
|
+ controller.propertiesObjectColumn.setEditable(false);
|
|
|
|
+
|
|
}
|
|
}
|
|
|
|
|
|
GraphDisplayManager.setCurrentLayer(Layer.SYMBOL);
|
|
GraphDisplayManager.setCurrentLayer(Layer.SYMBOL);
|