Left justified time in the path table

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@464 bbc10eb1-c90d-0410-af57-cb519fbb1720
18 years ago · 20be482528
1 changed files with 1 additions and 1 deletions
--- a/prism/src/userinterface/simulator/GUISimulatorPathTable.java
+++ b/prism/src/userinterface/simulator/GUISimulatorPathTable.java
@ -486,7 +486,7 @@ public class GUISimulatorPathTable extends GUIGroupedTable
 				
 				g2.setColor(color);	
 				g2.setRenderingHint(RenderingHints.KEY_ANTIALIASING, RenderingHints.VALUE_ANTIALIAS_OFF);
-				g2.drawString(stringValue, (int)((getWidth()/2 + 0.5)- (width/2)), 12);				
+				g2.drawString(stringValue, 3, 12);				
 			}
 		}
 	}