From 9dc46d80c709daa2581689ef35f67c30f5cc7818 Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Sun, 15 Nov 2009 21:32:06 +0000
Subject: [PATCH] Spacing in version number on splash screen.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@1557 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 prism/src/userinterface/GUIPrismSplash.java | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/prism/src/userinterface/GUIPrismSplash.java b/prism/src/userinterface/GUIPrismSplash.java
index 09314ecf..32550c51 100644
--- a/prism/src/userinterface/GUIPrismSplash.java
+++ b/prism/src/userinterface/GUIPrismSplash.java
@@ -89,9 +89,9 @@ public class GUIPrismSplash extends Frame
 				graphics.drawImage(fImage,0,0,this);
 				Font theFont = new Font ("monospaced", Font.BOLD, 10);
 				graphics.setFont(theFont);
-				int x = (int)(getBounds().width - theFont.getSize2D()*Prism.getVersion().length()*(5.0/8.0) - 10);
+				int x = (int)(getBounds().width - theFont.getSize2D()*(Prism.getVersion().length()+1)*(5.0/8.0) - 10);
 				int y = (int)(getBounds().height - theFont.getSize2D() - 10);
-				graphics.drawString(Prism.getVersion(), x, y);
+				graphics.drawString(Prism.getVersion() + " ", x, y);
 			}
 		}
 		private Image fImage;