changeset 18569 | c8401ce55915 |
parent 18540 | 00561c410e2e |
child 18657 | ebb5ab99df68 |
--- a/extensions.st Mon Jan 28 16:00:53 2019 +0100 +++ b/extensions.st Mon Jan 28 21:30:37 2019 +0100 @@ -2193,11 +2193,12 @@ superItems := super inspectorExtraMenuOperations. ^ superItems , { + { 'Terminate' . [self terminate] } . { 'Terminate Group' . [self terminateGroup ] } . - { 'Terminate' . [self terminate] } . }. "Created: / 23-05-2018 / 07:53:35 / Claus Gittinger" + "Modified: / 28-01-2019 / 19:57:47 / Claus Gittinger" ! ! !Object methodsFor:'inspecting'!