Searched refs:windowsPosSize (Results 1 – 1 of 1) sorted by relevance
116 private Hashtable windowsPosSize = new Hashtable(); field in RecoveryTest146 int expectedDocumentCount = windowsPosSize.size() + 1; in normalCrash()201 int expectedDocumentCount = windowsPosSize.size() + 1; in makeRecoveryData()262 System.out.println(windowsPosSize.entrySet().toString()); in compareWindowPositions()279 if (windowsPosSize.containsKey(frameName)){ in compareWindowPositions()281 Rectangle oldRect = (Rectangle) windowsPosSize.get(frameName); in compareWindowPositions()686 windowsPosSize.put(frameName, posSize); in positioningDocument()