diff -r ba9ffe0fd036 -r f210b6224ef0 Tools__NavigationState.st --- a/Tools__NavigationState.st Wed Mar 21 14:05:42 2012 +0000 +++ b/Tools__NavigationState.st Wed Mar 21 17:50:14 2012 +0000 @@ -1673,5 +1673,5 @@ ! version_SVN - ^ '$Id: Tools__NavigationState.st 7940 2012-03-17 20:05:16Z vranyj1 $' + ^ '$Id: Tools__NavigationState.st 7952 2012-03-21 17:50:14Z vranyj1 $' ! !