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