|
|
@@ -287,7 +287,7 @@ public class MainView {
|
|
|
|
|
|
});
|
|
|
debug = new NiceButton( "debug" );
|
|
|
- debug.setLocation( 350, 10 );
|
|
|
+ debug.setLocation( 360, 10 );
|
|
|
debug.setMnemonic( KeyEvent.VK_D );
|
|
|
debug.setToolTipText( "Show debug info (alt + d)" );
|
|
|
debug.addActionListener( new ActionListener() {
|
|
|
@@ -299,7 +299,7 @@ public class MainView {
|
|
|
|
|
|
});
|
|
|
randomGraph = new NiceButton( "random" );
|
|
|
- randomGraph.setLocation( 350, 60 );
|
|
|
+ randomGraph.setLocation( 360, 60 );
|
|
|
randomGraph.setMnemonic( KeyEvent.VK_G );
|
|
|
randomGraph.setToolTipText( "Generate random graph (alt + g)" );
|
|
|
randomGraph.addActionListener( new ActionListener() {
|
|
|
@@ -599,7 +599,7 @@ public class MainView {
|
|
|
delayText = new JLabel( "Delay (ms)" );
|
|
|
delayText.setBounds( 260, 10, 80, 20 );
|
|
|
delay = new JTextField( "50" );
|
|
|
- delay.setBounds( 260, 30, 80, 20 );
|
|
|
+ delay.setBounds( 260, 30, 90, 20 );
|
|
|
delay.getDocument().addDocumentListener( new DocumentListener() {
|
|
|
|
|
|
@Override
|
|
|
@@ -662,7 +662,7 @@ public class MainView {
|
|
|
|
|
|
});
|
|
|
save = new NiceButton( "save" );
|
|
|
- save.setLocation( 285, 60 );
|
|
|
+ save.setLocation( 295, 60 );
|
|
|
save.setMnemonic( KeyEvent.VK_S );
|
|
|
save.setToolTipText( "Save graph (alt + s)" );
|
|
|
save.addActionListener( new ActionListener() {
|
|
|
@@ -710,7 +710,7 @@ public class MainView {
|
|
|
} );
|
|
|
pseudoTree.setRowHeight(15);
|
|
|
JScrollPane treeView = new JScrollPane( pseudoTree );
|
|
|
- treeView.setBounds( 10, 110, 380, 380 );
|
|
|
+ treeView.setBounds( 10, 110, 390, 380 );
|
|
|
|
|
|
JTextArea debugText = new JTextArea();
|
|
|
debugText.setFont( new Font( "Monospaced", Font.PLAIN, 12 ) );
|
|
|
@@ -746,7 +746,7 @@ public class MainView {
|
|
|
frame.add( layne );
|
|
|
JPanel menue = new JPanel();
|
|
|
menue.setLayout( null );
|
|
|
- menue.setPreferredSize( new Dimension( 400, 500 ) );
|
|
|
+ menue.setPreferredSize( new Dimension( 410, 500 ) );
|
|
|
menue.add( stepForward );
|
|
|
menue.add( stepForwardInto );
|
|
|
menue.add( stepForwardOut );
|
