|
@@ -71,6 +71,8 @@ var Script = function ( editor ) {
|
|
codemirror.setOption( 'theme', 'monokai' );
|
|
codemirror.setOption( 'theme', 'monokai' );
|
|
codemirror.on( 'change', function () {
|
|
codemirror.on( 'change', function () {
|
|
|
|
|
|
|
|
+ if ( codemirror.state.focused === false ) return;
|
|
|
|
+
|
|
clearTimeout( delay );
|
|
clearTimeout( delay );
|
|
delay = setTimeout( function () {
|
|
delay = setTimeout( function () {
|
|
|
|
|