Editor: Script syntax error robustness.

editor/js/Script.js

@@ -89,14 +89,12 @@ var Script = function ( editor ) {
 
 			}
 
-			for ( var i = 0; i < widgets.length; i ++ ) {
+			while ( widgets.length > 0 ) {
 
-				codemirror.removeLineWidget( widgets[ i ] );
+				codemirror.removeLineWidget( widgets.shift() );
 
 			}
 
-			widgets.length = 0;
-
 			//
 
 			try {