- printf("KeyDn key:%d shift:%d ctrl:%d alt:%d processed:%d consumed:%d\n",
- key, shift, ctrl, alt, processed, m_lastKeyDownConsumed);
+// printf("KeyDn key:%d shift:%d ctrl:%d alt:%d processed:%d consumed:%d\n",
+// key, shift, ctrl, alt, processed, m_lastKeyDownConsumed);