let
changed_mask ev =
Convert
.window_state (changed_mask ev)