--- a/Tools__NavigationState.st	Fri Aug 30 17:29:48 2013 +0100
+++ b/Tools__NavigationState.st	Mon Sep 02 09:55:31 2013 +0100
@@ -1202,6 +1202,7 @@
     "Created: / 24.2.2000 / 23:45:28 / cg"
 ! !
 
+
 !NavigationState methodsFor:'aspects-kludges'!
 
 metaToggle