Home
last modified time | relevance | path

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

/trunk/main/scripting/java/com/sun/star/script/framework/provider/javascript/
H A DScriptEditorForJavaScript.java307 java.util.Vector keysToRemove = new java.util.Vector(); in shutdown() local
312 keysToRemove.add( key ); in shutdown()
314 for ( int i=0; i<keysToRemove.size(); i++ ) in shutdown()
316 BEING_EDITED.remove( keysToRemove.elementAt( i ) ); in shutdown()
318 keysToRemove = null; in shutdown()

Completed in 19 milliseconds