MenuEditor.st
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!