Workspace.st
changeset 4273 4e9e823f9e41
parent 4252 2822c01f8582
child 4274 2114434f990d
--- a/Workspace.st	Thu Jun 30 10:39:10 2011 +0200
+++ b/Workspace.st	Thu Jun 30 17:42:22 2011 +0200
@@ -852,6 +852,7 @@
     ] ifFalse:[
         self selectFromCharacterPosition:absPosition to:(codeStartPosition + (relEndPos ? 1) - 1)
     ].
+    expandingTop := true.       "/ hack to make the top of the selection visible
     self makeSelectionVisible.
 
     device flush.
@@ -865,7 +866,7 @@
         self showCursor.
     ].
 
-    "Modified: / 16-11-2006 / 16:37:34 / cg"
+    "Modified: / 30-06-2011 / 17:24:04 / cg"
 !
 
 highlightingWarningPosition:relPos to:relEndPos do:aBlock
@@ -1864,10 +1865,6 @@
 
 !Workspace class methodsFor:'documentation'!
 
-version
-    ^ '$Header: /cvs/stx/stx/libwidg/Workspace.st,v 1.233 2011-05-13 10:41:37 stefan Exp $'
-!
-
 version_CVS
-    ^ '$Header: /cvs/stx/stx/libwidg/Workspace.st,v 1.233 2011-05-13 10:41:37 stefan Exp $'
+    ^ '$Header: /cvs/stx/stx/libwidg/Workspace.st,v 1.234 2011-06-30 15:42:22 cg Exp $'
 ! !