--- a/Tools__NavigationState.st	Wed Jul 18 10:57:46 2012 +0100
+++ b/Tools__NavigationState.st	Wed Jul 18 18:00:57 2012 +0100
@@ -1673,5 +1673,5 @@
 !
 
 version_SVN
-    ^ '$Id: Tools__NavigationState.st 8007 2012-06-05 14:49:00Z vranyj1 $'
+    ^ '$Id: Tools__NavigationState.st 8018 2012-07-18 17:00:57Z vranyj1 $'
 ! !