pub type WindowId = u32;
The compositor’s stable numeric id of a window, the one its window list reports.