Ticket #3212: 3212.patch

_source/plugins/keystrokes/plugin.js

@@ -100 +100 @@
 
                         if  ( !cancel )
                         {
-                                var handler = editor.specialKeys[ keyCombination ],
-                                        cancel = ( handler && handler( editor ) === true );
+                                var handler = editor.specialKeys[ keyCombination ];
+                                cancel = ( handler && handler( editor ) === true );
 
                                 if ( !cancel )
                                         cancel = !!this.blockedKeystrokes[ keyCombination ];