|
@@ -2,13 +2,9 @@ package de.tu_darmstadt.informatik.tk.scopviz.ui;
|
|
|
|
|
|
import java.util.ArrayList;
|
|
|
|
|
|
-import org.graphstream.graph.Edge;
|
|
|
-import org.graphstream.graph.Graph;
|
|
|
-import org.graphstream.graph.Node;
|
|
|
import org.graphstream.graph.implementations.Graphs;
|
|
|
import org.jxmapviewer.viewer.WaypointPainter;
|
|
|
|
|
|
-import de.tu_darmstadt.informatik.tk.scopviz.main.GraphManager;
|
|
|
import de.tu_darmstadt.informatik.tk.scopviz.main.Layer;
|
|
|
import de.tu_darmstadt.informatik.tk.scopviz.main.Main;
|
|
|
import de.tu_darmstadt.informatik.tk.scopviz.main.MyGraph;
|
|
@@ -211,31 +207,6 @@ public final class ButtonManager {
|
|
|
controller.swingNodeWorldView.setVisible(true);
|
|
|
}
|
|
|
|
|
|
- /**
|
|
|
- * replaces all node sprites with symbol sprites corresponding with the
|
|
|
- * device/hardware type
|
|
|
- *
|
|
|
- * @param g
|
|
|
- * graph, which nodes should be symbolized
|
|
|
- */
|
|
|
- private static void nodesToSymbols(Graph g) {
|
|
|
-
|
|
|
- // TODO make it functional/make an extra stylesheet for this
|
|
|
- for (Node n : g.getEachNode()) {
|
|
|
-
|
|
|
- if (n.getAttribute("ui.class").equals("standard") || n.getAttribute("ui.class").equals("source")) {
|
|
|
- n.changeAttribute("ui.style",
|
|
|
- "fill-mode: image-scaled; fill-image: url('src/main/resources/png/computer.png');");
|
|
|
- }
|
|
|
-
|
|
|
- else if (n.getAttribute("ui.class").equals("source") || n.getAttribute("ui.class").equals("standard")) {
|
|
|
- n.changeAttribute("ui.style",
|
|
|
- "fill-mode: image-scaled; fill-image: url('src/main/resources/png/router.png');");
|
|
|
- }
|
|
|
-
|
|
|
- }
|
|
|
- }
|
|
|
-
|
|
|
/**
|
|
|
* Functionality for "edge visible" Checkbox
|
|
|
*
|
|
@@ -250,7 +221,7 @@ public final class ButtonManager {
|
|
|
if (newVal) {
|
|
|
WorldView.edgePainter.setShowEdges(true);
|
|
|
WorldView.internMapViewer.repaint();
|
|
|
- } else{
|
|
|
+ } else {
|
|
|
// Hide edges
|
|
|
WorldView.edgePainter.setShowEdges(false);
|
|
|
WorldView.internMapViewer.repaint();
|