Searched refs:theScriptEditorForBeanShell (Results 1 – 1 of 1) sorted by relevance
64 private static ScriptEditorForBeanShell theScriptEditorForBeanShell; field in ScriptEditorForBeanShell104 if (theScriptEditorForBeanShell == null) in getEditor()108 if (theScriptEditorForBeanShell == null) in getEditor()110 theScriptEditorForBeanShell = in getEditor()115 return theScriptEditorForBeanShell; in getEditor()
Completed in 8 milliseconds