Ticket #7697: 7697.patch

_source/plugins/scayt/plugin.js

@@ -727 +727 @@
                                                 var sLang = scayt_control.getLang(),
                                                         items_suggestion = window.scayt.getSuggestion( word, sLang );
                                                 // Remove unused commands and menuitems
-                                                for ( i in moreSuggestions )
+                                                for ( var i in moreSuggestions )
                                                 {
                                                         delete editor._.menuItems[ i ];
                                                         delete editor._.commands[ i ];
                                                 }
-                                                for ( i in mainSuggestions )
+                                                for ( var i in mainSuggestions )
                                                 {
                                                         delete editor._.menuItems[ i ];
                                                         delete editor._.commands[ i ];