Lines Matching refs:editor
219 ScriptEditorForJavaScript editor = in invoke() local
223 if (editor != null) in invoke()
225 editorURL = editor.getURL(); in invoke()
226 result = editor.execute(); in invoke()
237 if (editor != null && editor.isModified() == true) in invoke()
240 source = editor.getText(); in invoke()
332 ScriptEditorForJavaScript editor = null; in raiseEditor() local
336 editor = ScriptEditorForJavaScript.getEditor( sourceUrl ); in raiseEditor()
337 if ( editor == null ) in raiseEditor()
339 editor = ScriptEditorForJavaScript.getEditor(); in raiseEditor()
340 editor.edit( in raiseEditor()
343 editor = ScriptEditorForJavaScript.getEditor( sourceUrl ); in raiseEditor()
345 if ( editor != null ) in raiseEditor()
348 editor.indicateErrorLine( lineNum ); in raiseEditor()