Module GdkEvent.WindowState
type t
= [ `WINDOW_STATE ] Gdk.event
val changed_mask : t -> Gdk.Tags.window_state list
val new_window_state : t -> Gdk.Tags.window_state list
GdkEvent.WindowState
type t
= [ `WINDOW_STATE ] Gdk.event
val changed_mask : t -> Gdk.Tags.window_state list
val new_window_state : t -> Gdk.Tags.window_state list