7 anni fa · b1bf393c5d
--- a/src/images/debug.png
+++ b/src/images/debug.png
--- a/src/images/pause.png
+++ b/src/images/pause.png
--- a/src/images/runForward.png
+++ b/src/images/runForward.png
--- a/src/images/stepBackward.png
+++ b/src/images/stepBackward.png
--- a/src/images/stepBackwardInto.png
+++ b/src/images/stepBackwardInto.png
--- a/src/images/stepBackwardOut.png
+++ b/src/images/stepBackwardOut.png
--- a/src/images/stepForward.png
+++ b/src/images/stepForward.png
--- a/src/images/stepForwardInto.png
+++ b/src/images/stepForwardInto.png
--- a/src/images/stepForwardOut.png
+++ b/src/images/stepForwardOut.png
--- a/src/view/MainView.java
+++ b/src/view/MainView.java
@@ -355,6 +355,8 @@ public class MainView {
 
				         menue.add( stepBackwardOut );
			
 
				         menue.add( runBackward );
			
 
				 		frame.add( menue, BorderLayout.EAST );
			
 
				+		frame.setSize( frame.getWidth() + 1, frame.getHeight() );
			
 
				+        frame.setSize( frame.getWidth() - 1, frame.getHeight() );
			
 
				 		frame.validate();
			
 
				 		frame.repaint();