Searched refs:windowsPosSize (Results 1 – 1 of 1) sorted by relevance
116 private Hashtable windowsPosSize = new Hashtable(); field in RecoveryTest138 int expectedDocumentCount = windowsPosSize.size() + 1; in normalCrash()195 int expectedDocumentCount = windowsPosSize.size() + 1; in makeRecoveryData()252 System.out.println(windowsPosSize.entrySet().toString()); in compareWindowPositions()269 if (windowsPosSize.containsKey(frameName)){ in compareWindowPositions()271 Rectangle oldRect = (Rectangle) windowsPosSize.get(frameName); in compareWindowPositions()676 windowsPosSize.put(frameName, posSize); in positioningDocument()