UIHelpTool.st
changeset 454 8b016ffd83ce
parent 393 a824a3a9b834
child 456 e2bbb3f9c5fd
--- a/UIHelpTool.st	Thu Jan 22 18:21:45 1998 +0100
+++ b/UIHelpTool.st	Thu Jan 22 19:40:24 1998 +0100
@@ -416,7 +416,8 @@
 
         listChgd ifTrue:[
             self updateList
-        ]
+        ].
+        modifiedHolder value:true
     ]
 !
 
@@ -575,7 +576,7 @@
                 maxCharsPerLine := nil
             ]
         ].
-    ].
+    ].       
     ^ view
 ! !