let changed_mask ev = Convert.window_state (changed_mask ev)