Searched refs:windowChangeTypes (Results 1 – 1 of 1) sorted by relevance
1172 int windowId, int windowChangeTypes) { in obtainWindowsChangedEvent() argument1175 event.setWindowChanges(windowChangeTypes); in obtainWindowsChangedEvent()