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