|
@@ -221,6 +221,7 @@ public class GUI implements CategoryListener {
|
|
private final JMenuItem mntmRedo = new JMenuItem("Redo");
|
|
private final JMenuItem mntmRedo = new JMenuItem("Redo");
|
|
private final JMenuItem mntmEditEdges = new JMenuItem("Edge Properties");
|
|
private final JMenuItem mntmEditEdges = new JMenuItem("Edge Properties");
|
|
private final JMenuItem mntmFindReplace = new JMenuItem("Find/ Replace");
|
|
private final JMenuItem mntmFindReplace = new JMenuItem("Find/ Replace");
|
|
|
|
+ private final JMenuItem mntmAlignAll = new JMenuItem("Align All");
|
|
private final JMenuItem mntmEditShowedInformation = new JMenuItem(
|
|
private final JMenuItem mntmEditShowedInformation = new JMenuItem(
|
|
"Edit showed Information");
|
|
"Edit showed Information");
|
|
private final JMenuItem mntmResetCategory = new JMenuItem(
|
|
private final JMenuItem mntmResetCategory = new JMenuItem(
|
|
@@ -740,7 +741,8 @@ public class GUI implements CategoryListener {
|
|
ex.printStackTrace();
|
|
ex.printStackTrace();
|
|
}
|
|
}
|
|
});
|
|
});
|
|
-
|
|
|
|
|
|
+
|
|
|
|
+
|
|
mnNewMenuEdit.add(mntmEditShowedInformation);
|
|
mnNewMenuEdit.add(mntmEditShowedInformation);
|
|
mnNewMenuEdit.add(mntmEditEdges);
|
|
mnNewMenuEdit.add(mntmEditEdges);
|
|
mntmEditEdges.addActionListener(actionEvent -> {
|
|
mntmEditEdges.addActionListener(actionEvent -> {
|
|
@@ -749,7 +751,20 @@ public class GUI implements CategoryListener {
|
|
edgePopUp.setController(controller);
|
|
edgePopUp.setController(controller);
|
|
edgePopUp.setVisible(true);
|
|
edgePopUp.setVisible(true);
|
|
});
|
|
});
|
|
-
|
|
|
|
|
|
+
|
|
|
|
+
|
|
|
|
+ //Edit -> Align All
|
|
|
|
+
|
|
|
|
+ mnNewMenuEdit.add(mntmAlignAll);
|
|
|
|
+ mntmAlignAll.addActionListener(actionEvent -> {
|
|
|
|
+ // getScrollPaneFromTabbedPane().getViewport().getComponent(0) is always the active canvas
|
|
|
|
+ AbstractCanvas activeCanvas = ((AbstractCanvas) getScrollPaneFromTabbedPane().getViewport().getComponent(0));
|
|
|
|
+ if (activeCanvas != null) {
|
|
|
|
+ activeCanvas.tryToAlignObjects();
|
|
|
|
+ }
|
|
|
|
+ });
|
|
|
|
+
|
|
|
|
+
|
|
menuBar.add(mnNewMenuOptions);
|
|
menuBar.add(mnNewMenuOptions);
|
|
|
|
|
|
mnNewMenuOptions.add(mntmResetCategory);
|
|
mnNewMenuOptions.add(mntmResetCategory);
|