Home
last modified time | relevance | path

Searched refs:BEING_EDITED (Results 1 – 2 of 2) sorted by relevance

/aoo4110/main/scripting/java/com/sun/star/script/framework/provider/javascript/
H A DScriptEditorForJavaScript.java59 private static Map BEING_EDITED = new HashMap(); field in ScriptEditorForJavaScript
116 synchronized (BEING_EDITED) { in getEditor()
117 return (ScriptEditorForJavaScript)BEING_EDITED.get(url); in getEditor()
191 synchronized (BEING_EDITED) { in edit()
193 (ScriptEditorForJavaScript) BEING_EDITED.get( in edit()
198 BEING_EDITED.put(url, editor); in edit()
304 synchronized( BEING_EDITED ) in shutdown()
306 java.util.Iterator iter = BEING_EDITED.keySet().iterator(); in shutdown()
316 BEING_EDITED.remove( keysToRemove.elementAt( i ) ); in shutdown()
347 synchronized( BEING_EDITED ) in run()
[all …]
/aoo4110/main/scripting/java/com/sun/star/script/framework/provider/beanshell/
H A DScriptEditorForBeanShell.java67 private static Map BEING_EDITED = new HashMap(); field in ScriptEditorForBeanShell
128 synchronized (BEING_EDITED) { in getEditor()
129 return (ScriptEditorForBeanShell)BEING_EDITED.get(url); in getEditor()
217 synchronized (BEING_EDITED) { in edit()
219 BEING_EDITED.get(url); in edit()
223 BEING_EDITED.put(url, editor); in edit()
386 synchronized (BEING_EDITED) { in shutdown()
387 BEING_EDITED.remove(scriptURL); in shutdown()

Completed in 20 milliseconds