changeset 1648 | d88ec5777284 |
parent 1646 | 4d2809c829e0 |
child 1663 | 60bd14266560 |
--- a/UIHelpTool.st Mon Nov 04 17:07:17 2002 +0100 +++ b/UIHelpTool.st Mon Nov 04 17:07:37 2002 +0100 @@ -1127,12 +1127,14 @@ |key txt| - contentsModifiedChannel value ifFalse:[^ self]. - contentsModifiedChannel value:false. - key := self helpKey. key isNil ifTrue:[^ self]. + contentsModifiedChannel value ifFalse:[ + (dictionary includes:key) ifTrue:[^ self]. + ]. + contentsModifiedChannel value:false. + txt := editTextView contents ? ''. txt := txt asString.