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