--- a/EditTextView.st Sun Nov 19 14:09:46 2017 +0100
+++ b/EditTextView.st Sun Nov 19 14:10:10 2017 +0100
@@ -8033,7 +8033,8 @@
!
widthOfContents
- "return the width of the contents in pixels
+ "return the width of the contents in pixels.
+
Redefined to add the size of a space (for the cursor).
this enables us to scroll one position further than the longest
line (and possibly see the cursor behind the line)"
@@ -8045,9 +8046,11 @@
"/ really don't know ...
dev := Screen current
].
+ "/ add width of a space (so cursor is always seen)
^ w + (gc font widthOn:dev)
- "Modified: 28.5.1996 / 19:32:25 / cg"
+ "Modified: / 28-05-1996 / 19:32:25 / cg"
+ "Modified (comment): / 19-11-2017 / 14:05:16 / cg"
! !
!EditTextView methodsFor:'realization'!