changeset 2946 | 1994064bc8e2 |
parent 2936 | 914fbb4edbae |
child 2948 | b11312ccf82d |
--- a/MenuEditor.st Thu Jan 17 11:52:37 2013 +0100 +++ b/MenuEditor.st Thu Jan 17 11:53:23 2013 +0100 @@ -2190,6 +2190,9 @@ "filter keyboard edit-events typed into the listOfItemsView. Return true, if I have eaten the event" + <resource: #keyboard (#Delete #BackSpace #Cut #Copy #Paste #CtrlCursorUp #CtrlCursorDown + #CtrlCursorLeft #CtrlCursorRight )> + |evView rawKey key| anEvent isKeyPressEvent ifFalse:[^ false]. @@ -6195,4 +6198,5 @@ ^ '$Header$' ! ! + MenuEditor initialize!