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