Ticket #6438: 6438.patch

_source/plugins/selection/plugin.js

@@ -249 +249 @@
                                                         });
 
                                                 body.on( 'keydown', disableSave );
-                                                body.on( 'keyup',
-                                                        function()
-                                                        {
-                                                                saveEnabled = true;
-                                                                saveSelection();
-                                                        });
+                                                // Frequency control on the saving of selection when typing too fast. (#6438)
+                                                body.on( 'keyup', CKEDITOR.tools.periodical( 1000, function()
+                                                {
+                                                        saveEnabled = true;
+                                                        saveSelection();
+                                                } ));
 
 
                                                 // IE is the only to provide the "selectionchange"

_source/core/tools.js

@@ -459 +459 @@
                                 milliseconds || 0 );
                 },
 
+                /*
+                 * Make sure the passed function executes with at least {@param delay} of interval.
+                 * @param delay The minimum period of time between two consequent function call.
+                 * @param func The function on subject.
+                 * @param [scope] The invocation scope of the passed function.
+                 */
+                periodical : function ( delay, func, scope )
+                {
+                        var timer,
+                                args = Array.prototype.slice.call( arguments, 3 );
+                        return function ()
+                        {
+                                !timer && ( timer = setTimeout( function ()
+                                {
+                                        clearTimeout( timer );
+                                        timer = 0;
+                                        func.apply( scope, args );
+                                }, delay ) );
+                        };
+                },
+
                 /**
                  * Remove spaces from the start and the end of a string. The following
                  * characters are removed: space, tab, line break, line feed.