|
@@ -63,6 +63,8 @@ public class MainView {
|
|
|
private JButton runForward;
|
|
|
private JButton runBackward;
|
|
|
private JButton pause;
|
|
|
+ private JButton load;
|
|
|
+ private JButton save;
|
|
|
private JButton debug;
|
|
|
private JButton randomGraph;
|
|
|
private JLabel delayText;
|
|
@@ -553,6 +555,7 @@ public class MainView {
|
|
|
cminzer.minimizeCrossings( graph );
|
|
|
InitializeNodePositions.placeNodes( graph );
|
|
|
new MainView( graph );
|
|
|
+ diag.setVisible( false );
|
|
|
}
|
|
|
}
|
|
|
|
|
@@ -605,6 +608,26 @@ public class MainView {
|
|
|
}
|
|
|
}
|
|
|
|
|
|
+ });
|
|
|
+ load = new NiceButton( "load" );
|
|
|
+ load.setLocation( 230, 60 );
|
|
|
+ load.addActionListener( new ActionListener() {
|
|
|
+
|
|
|
+ @Override
|
|
|
+ public void actionPerformed(ActionEvent e) {
|
|
|
+
|
|
|
+ }
|
|
|
+
|
|
|
+ });
|
|
|
+ save = new NiceButton( "save" );
|
|
|
+ save.setLocation( 285, 60 );
|
|
|
+ save.addActionListener( new ActionListener() {
|
|
|
+
|
|
|
+ @Override
|
|
|
+ public void actionPerformed(ActionEvent e) {
|
|
|
+
|
|
|
+ }
|
|
|
+
|
|
|
});
|
|
|
pseudoTree = new JTree();
|
|
|
pseudoTree.setModel( new DefaultTreeModel( algorithm.createPseudocodeTree( pseudoTree ) ) );
|
|
@@ -654,6 +677,8 @@ public class MainView {
|
|
|
menue.add( stepBackwardOut );
|
|
|
menue.add( runBackward );
|
|
|
menue.add( randomGraph );
|
|
|
+ menue.add( save );
|
|
|
+ menue.add( load );
|
|
|
frame.add( menue, BorderLayout.EAST );
|
|
|
frame.setSize( frame.getWidth() + 1, frame.getHeight() );
|
|
|
frame.setSize( frame.getWidth() - 1, frame.getHeight() );
|