|
@@ -1310,14 +1310,6 @@ public class GUI<E> implements CategoryListener {
|
|
|
|
|
|
@Override
|
|
@Override
|
|
public void actionPerformed(ActionEvent arg0) {
|
|
public void actionPerformed(ActionEvent arg0) {
|
|
- if (model.getObjectsOnCanvas().size() != 0) {
|
|
|
|
- int newWarning = JOptionPane.YES_NO_OPTION;
|
|
|
|
- int dialogForNewWarning = JOptionPane.showConfirmDialog(null, "Do you want to save the old data?",
|
|
|
|
- "Warning", newWarning);
|
|
|
|
- if (dialogForNewWarning == JOptionPane.YES_OPTION) {
|
|
|
|
- mntmSave.doClick();
|
|
|
|
- }
|
|
|
|
- }
|
|
|
|
model.getEdgesOnCanvas().removeAll(model.getEdgesOnCanvas());
|
|
model.getEdgesOnCanvas().removeAll(model.getEdgesOnCanvas());
|
|
model.getObjectsOnCanvas().removeAll(model.getObjectsOnCanvas());
|
|
model.getObjectsOnCanvas().removeAll(model.getObjectsOnCanvas());
|
|
controller.setSelectedObjectID(0);
|
|
controller.setSelectedObjectID(0);
|
|
@@ -1496,7 +1488,9 @@ public class GUI<E> implements CategoryListener {
|
|
splitPaneCanvasConsole.setRightComponent(console);
|
|
splitPaneCanvasConsole.setRightComponent(console);
|
|
splitPane1.setLeftComponent(splitPaneCanvasConsole);
|
|
splitPane1.setLeftComponent(splitPaneCanvasConsole);
|
|
splitPane1.setRightComponent(splitHolonElPro);
|
|
splitPane1.setRightComponent(splitHolonElPro);
|
|
-
|
|
|
|
|
|
+
|
|
|
|
+ splitPane1.setResizeWeight(0.9);
|
|
|
|
+
|
|
splitHolonElPro.setDividerLocation(400);
|
|
splitHolonElPro.setDividerLocation(400);
|
|
splitHolonElPro.setTopComponent(splitGraphHolonEl);
|
|
splitHolonElPro.setTopComponent(splitGraphHolonEl);
|
|
splitHolonElPro.setBottomComponent(scrollProperties);
|
|
splitHolonElPro.setBottomComponent(scrollProperties);
|