|
@@ -138,6 +138,7 @@ public class MainView {
|
|
info.setText( debugInfo() );
|
|
info.setText( debugInfo() );
|
|
JScrollPane view = new JScrollPane( info );
|
|
JScrollPane view = new JScrollPane( info );
|
|
debugFrame.add( view );
|
|
debugFrame.add( view );
|
|
|
|
+ debugFrame.setSize( frame.getWidth(), frame.getHeight() );
|
|
debugFrame.setVisible( true );
|
|
debugFrame.setVisible( true );
|
|
}
|
|
}
|
|
|
|
|
|
@@ -167,6 +168,7 @@ public class MainView {
|
|
stepForward = new NiceButton( "stepForward" );
|
|
stepForward = new NiceButton( "stepForward" );
|
|
stepForward.setLocation( 10, 10 );
|
|
stepForward.setLocation( 10, 10 );
|
|
stepForward.setMnemonic( KeyEvent.VK_DOWN );
|
|
stepForward.setMnemonic( KeyEvent.VK_DOWN );
|
|
|
|
+ stepForward.setToolTipText( "Forward step over (alt+down arrow key)" );
|
|
stepForward.addActionListener( new ActionListener() {
|
|
stepForward.addActionListener( new ActionListener() {
|
|
|
|
|
|
@Override
|
|
@Override
|
|
@@ -179,6 +181,7 @@ public class MainView {
|
|
stepForwardInto = new NiceButton( "stepForwardInto" );
|
|
stepForwardInto = new NiceButton( "stepForwardInto" );
|
|
stepForwardInto.setLocation( 60, 10 );
|
|
stepForwardInto.setLocation( 60, 10 );
|
|
stepForwardInto.setMnemonic( KeyEvent.VK_RIGHT );
|
|
stepForwardInto.setMnemonic( KeyEvent.VK_RIGHT );
|
|
|
|
+ stepForwardInto.setToolTipText( "Forward step Into (alt+right arrow key)" );
|
|
stepForwardInto.addActionListener( new ActionListener() {
|
|
stepForwardInto.addActionListener( new ActionListener() {
|
|
|
|
|
|
@Override
|
|
@Override
|
|
@@ -190,6 +193,8 @@ public class MainView {
|
|
});
|
|
});
|
|
stepForwardOut = new NiceButton( "stepForwardOut" );
|
|
stepForwardOut = new NiceButton( "stepForwardOut" );
|
|
stepForwardOut.setLocation( 110, 10 );
|
|
stepForwardOut.setLocation( 110, 10 );
|
|
|
|
+ stepForwardOut.setMnemonic( KeyEvent.VK_PAGE_DOWN );
|
|
|
|
+ stepForwardOut.setToolTipText( "Forward step out (alt+page down key)" );
|
|
stepForwardOut.addActionListener( new ActionListener() {
|
|
stepForwardOut.addActionListener( new ActionListener() {
|
|
|
|
|
|
@Override
|
|
@Override
|
|
@@ -202,6 +207,7 @@ public class MainView {
|
|
runForward = new NiceButton( "runForward" );
|
|
runForward = new NiceButton( "runForward" );
|
|
runForward.setLocation( 160, 10 );
|
|
runForward.setLocation( 160, 10 );
|
|
runForward.setMnemonic( KeyEvent.VK_P );
|
|
runForward.setMnemonic( KeyEvent.VK_P );
|
|
|
|
+ runForward.setToolTipText( "Run forward annimation (alt+p)" );
|
|
runForward.addActionListener( new ActionListener() {
|
|
runForward.addActionListener( new ActionListener() {
|
|
|
|
|
|
@Override
|
|
@Override
|
|
@@ -214,6 +220,7 @@ public class MainView {
|
|
runBackward = new NiceButton( "runBackward" );
|
|
runBackward = new NiceButton( "runBackward" );
|
|
runBackward.setLocation( 160, 60 );
|
|
runBackward.setLocation( 160, 60 );
|
|
runBackward.setMnemonic( KeyEvent.VK_R );
|
|
runBackward.setMnemonic( KeyEvent.VK_R );
|
|
|
|
+ runBackward.setToolTipText( "Run backward annimation (alt+r)" );
|
|
runBackward.addActionListener( new ActionListener() {
|
|
runBackward.addActionListener( new ActionListener() {
|
|
|
|
|
|
@Override
|
|
@Override
|
|
@@ -226,6 +233,7 @@ public class MainView {
|
|
stepBackward = new NiceButton( "stepBackward" );
|
|
stepBackward = new NiceButton( "stepBackward" );
|
|
stepBackward.setLocation( 10, 60 );
|
|
stepBackward.setLocation( 10, 60 );
|
|
stepBackward.setMnemonic( KeyEvent.VK_UP );
|
|
stepBackward.setMnemonic( KeyEvent.VK_UP );
|
|
|
|
+ stepBackward.setToolTipText( "Backward step over (alt+up arrow key)" );
|
|
stepBackward.addActionListener( new ActionListener() {
|
|
stepBackward.addActionListener( new ActionListener() {
|
|
|
|
|
|
@Override
|
|
@Override
|
|
@@ -238,6 +246,7 @@ public class MainView {
|
|
stepBackwardInto = new NiceButton( "stepBackwardInto" );
|
|
stepBackwardInto = new NiceButton( "stepBackwardInto" );
|
|
stepBackwardInto.setLocation( 60, 60 );
|
|
stepBackwardInto.setLocation( 60, 60 );
|
|
stepBackwardInto.setMnemonic( KeyEvent.VK_LEFT );
|
|
stepBackwardInto.setMnemonic( KeyEvent.VK_LEFT );
|
|
|
|
+ stepBackwardInto.setToolTipText( "Backward step into (alt+left arrow key)" );
|
|
stepBackwardInto.addActionListener( new ActionListener() {
|
|
stepBackwardInto.addActionListener( new ActionListener() {
|
|
|
|
|
|
@Override
|
|
@Override
|
|
@@ -249,6 +258,8 @@ public class MainView {
|
|
});
|
|
});
|
|
stepBackwardOut = new NiceButton( "stepBackwardOut" );
|
|
stepBackwardOut = new NiceButton( "stepBackwardOut" );
|
|
stepBackwardOut.setLocation( 110, 60 );
|
|
stepBackwardOut.setLocation( 110, 60 );
|
|
|
|
+ stepBackwardOut.setMnemonic( KeyEvent.VK_PAGE_UP );
|
|
|
|
+ stepBackwardOut.setToolTipText( "Backward step out (alt+page up key)" );
|
|
stepBackwardOut.addActionListener( new ActionListener() {
|
|
stepBackwardOut.addActionListener( new ActionListener() {
|
|
|
|
|
|
@Override
|
|
@Override
|
|
@@ -260,6 +271,8 @@ public class MainView {
|
|
});
|
|
});
|
|
pause = new NiceButton( "pause" );
|
|
pause = new NiceButton( "pause" );
|
|
pause.setLocation( 210, 10 );
|
|
pause.setLocation( 210, 10 );
|
|
|
|
+ pause.setMnemonic( KeyEvent.VK_PAUSE );
|
|
|
|
+ pause.setToolTipText( "Animation stop (alt+pause key)" );
|
|
pause.addActionListener( new ActionListener() {
|
|
pause.addActionListener( new ActionListener() {
|
|
|
|
|
|
@Override
|
|
@Override
|
|
@@ -271,6 +284,7 @@ public class MainView {
|
|
debug = new NiceButton( "debug" );
|
|
debug = new NiceButton( "debug" );
|
|
debug.setLocation( 350, 10 );
|
|
debug.setLocation( 350, 10 );
|
|
debug.setMnemonic( KeyEvent.VK_D );
|
|
debug.setMnemonic( KeyEvent.VK_D );
|
|
|
|
+ debug.setToolTipText( "Show debug info (alt+d)" );
|
|
debug.addActionListener( new ActionListener() {
|
|
debug.addActionListener( new ActionListener() {
|
|
|
|
|
|
@Override
|
|
@Override
|
|
@@ -281,6 +295,8 @@ public class MainView {
|
|
});
|
|
});
|
|
randomGraph = new NiceButton( "random" );
|
|
randomGraph = new NiceButton( "random" );
|
|
randomGraph.setLocation( 350, 60 );
|
|
randomGraph.setLocation( 350, 60 );
|
|
|
|
+ randomGraph.setMnemonic( KeyEvent.VK_G );
|
|
|
|
+ randomGraph.setToolTipText( "Generate random graph (alt+g)" );
|
|
randomGraph.addActionListener( new ActionListener() {
|
|
randomGraph.addActionListener( new ActionListener() {
|
|
|
|
|
|
@Override
|
|
@Override
|
|
@@ -616,6 +632,7 @@ public class MainView {
|
|
load = new NiceButton( "load" );
|
|
load = new NiceButton( "load" );
|
|
load.setLocation( 230, 60 );
|
|
load.setLocation( 230, 60 );
|
|
load.setMnemonic( KeyEvent.VK_L );
|
|
load.setMnemonic( KeyEvent.VK_L );
|
|
|
|
+ load.setToolTipText( "Load a graph (alt+l)" );
|
|
load.addActionListener( new ActionListener() {
|
|
load.addActionListener( new ActionListener() {
|
|
|
|
|
|
@Override
|
|
@Override
|
|
@@ -637,6 +654,7 @@ public class MainView {
|
|
save = new NiceButton( "save" );
|
|
save = new NiceButton( "save" );
|
|
save.setLocation( 285, 60 );
|
|
save.setLocation( 285, 60 );
|
|
save.setMnemonic( KeyEvent.VK_S );
|
|
save.setMnemonic( KeyEvent.VK_S );
|
|
|
|
+ save.setToolTipText( "Save graph (alt+s)" );
|
|
save.addActionListener( new ActionListener() {
|
|
save.addActionListener( new ActionListener() {
|
|
|
|
|
|
@Override
|
|
@Override
|