diff -r 1994064bc8e2 -r 9bbc38256343 UIPainter.st
--- a/UIPainter.st	Thu Jan 17 11:53:23 2013 +0100
+++ b/UIPainter.st	Thu Jan 17 11:54:22 2013 +0100
@@ -3671,6 +3671,8 @@
     "filter keyboard events.
      Return true, if I have eaten the event"
 
+    <resource: #keyboard (#CtrlCursorUp #CtrlCursorDown #CtrlCursorLeft #CtrlCursorRight)>
+
     |key|
 
     anEvent isKeyPressEvent ifTrue:[ 
@@ -6794,4 +6796,5 @@
     ^ '$Header$'
 ! !
 
+
 UIPainter initialize!