#UI_ENHANCEMENT by cg
authorClaus Gittinger <cg@exept.de>
Tue, 29 Aug 2017 20:00:47 +0200
changeset 3997 f388b337715a
parent 3996 9f8c87c19905
child 3998 f38061cec746
#UI_ENHANCEMENT by cg class: ResourceSpecEditor changed: #modified:
ResourceSpecEditor.st
--- a/ResourceSpecEditor.st	Tue Aug 29 13:08:29 2017 +0200
+++ b/ResourceSpecEditor.st	Tue Aug 29 20:00:47 2017 +0200
@@ -213,10 +213,13 @@
     ^ modified
 !
 
-modified: aBoolean         
+modified:aBoolean         
     "sets the resource spec modified as aBoolean"
 
-    modified := aBoolean
+    modified := aBoolean.
+    self updateInfoLabel
+
+    "Modified: / 29-08-2017 / 19:56:04 / cg"
 !
 
 setModified