From 20be48252853c0daa94f041904dd6702e6f9f5de Mon Sep 17 00:00:00 2001
From: Mark Kattenbelt <mark.kattenbelt@comlab.ox.ac.uk>
Date: Fri, 19 Oct 2007 09:15:20 +0000
Subject: [PATCH] Left justified time in the path table

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@464 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 prism/src/userinterface/simulator/GUISimulatorPathTable.java | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/prism/src/userinterface/simulator/GUISimulatorPathTable.java b/prism/src/userinterface/simulator/GUISimulatorPathTable.java
index 5f947639..dbf2989f 100644
--- 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);				
 			}
 		}
 	}