#UI_ENHANCEMENT by exept
authorClaus Gittinger <cg@exept.de>
Sun, 17 Nov 2019 00:43:51 +0100
changeset 24919 8bfb05e9c22b
parent 24918 f67e1bde2525
child 24920 308a8190a536
#UI_ENHANCEMENT by exept class: PositionableStream changed: #printOn:
PositionableStream.st
--- a/PositionableStream.st	Sat Nov 16 22:34:24 2019 +0100
+++ b/PositionableStream.st	Sun Nov 17 00:43:51 2019 +0100
@@ -1,3 +1,5 @@
+"{ Encoding: utf8 }"
+
 "
  COPYRIGHT (c) 1989 by Claus Gittinger
 	      All Rights Reserved
@@ -129,6 +131,7 @@
     ^ self == PositionableStream
 ! !
 
+
 !PositionableStream methodsFor:'Compatibility-Dolphin'!
 
 endChunk
@@ -567,7 +570,16 @@
 !PositionableStream methodsFor:'printing & storing'!
 
 printOn:aStream
-    aStream nextPutAll:self className; nextPutAll:'(on:'; nextPutAll:collection classNameWithArticle; nextPut:$)
+    aStream 
+        nextPutAll:self className; 
+        nextPutAll:'(on:'.
+    (collection isString and:[collection size < 80]) ifTrue:[
+        aStream nextPutAll:collection storeString
+    ] ifFalse:[
+        aStream nextPutAll:collection classNameWithArticle
+    ].
+    aStream nextPutAll:'|'; print:position.
+    aStream nextPut:$)
 
     "
       '' readStream printString