|
@@ -103,7 +103,9 @@ var Script = function ( editor ) {
|
|
// prevent backspace from deleting objects
|
|
// prevent backspace from deleting objects
|
|
var wrapper = codemirror.getWrapperElement();
|
|
var wrapper = codemirror.getWrapperElement();
|
|
wrapper.addEventListener( 'keydown', function ( event ) {
|
|
wrapper.addEventListener( 'keydown', function ( event ) {
|
|
|
|
+
|
|
event.stopPropagation();
|
|
event.stopPropagation();
|
|
|
|
+
|
|
} );
|
|
} );
|
|
|
|
|
|
|
|
|