|
@@ -118,7 +118,7 @@ public class GUI<E> implements CategoryListener {
|
|
|
|
|
|
private final JScrollPane canvasSP = new JScrollPane();
|
|
|
private final JScrollPane scrollPane1 = new JScrollPane();
|
|
|
-
|
|
|
+
|
|
|
private final JTabbedPane tabbedPane = new JTabbedPane(JTabbedPane.TOP);
|
|
|
private final JPanel panelTapped_SimMenu = new JPanel();
|
|
|
private JPopupMenu popmenuEdit = new JPopupMenu();
|
|
@@ -1286,6 +1286,10 @@ public class GUI<E> implements CategoryListener {
|
|
|
controller.addSelectedObject(temp);
|
|
|
}
|
|
|
}
|
|
|
+ if (temp instanceof HolonSwitch) {
|
|
|
+ unitGraph.repaintWithNewSwitch((HolonSwitch) temp);
|
|
|
+ unitGraph.fillArrayofBooleans();
|
|
|
+ }
|
|
|
|
|
|
updCon.paintProperties(temp);
|
|
|
|
|
@@ -1597,7 +1601,7 @@ public class GUI<E> implements CategoryListener {
|
|
|
splitGraphHolonEl.setTopComponent(scrollGraph);
|
|
|
splitGraphHolonEl.setBottomComponent(scrollElements);
|
|
|
canvasSP.setViewportView(canvas);
|
|
|
-
|
|
|
+
|
|
|
panelTapped_SimMenu.setLayout(new BorderLayout());
|
|
|
panelTapped_SimMenu.add(simMenu, BorderLayout.NORTH);
|
|
|
panelTapped_SimMenu.add(tabbedPane);
|
|
@@ -1615,7 +1619,7 @@ public class GUI<E> implements CategoryListener {
|
|
|
splitGraphHolonEl.setBorder(null);
|
|
|
panelHolonEl.setBorder(null);
|
|
|
canvasSP.setBorder(null);
|
|
|
-
|
|
|
+
|
|
|
|
|
|
tableHolonElementScrollPane.setBorder(null);
|
|
|
|