method begin_move : Ocgtk_gdk__.GApp_launch_context_cycle_de440b34.device_t ->
int ->
float ->
float ->
UInt32.t ->
unitmethod begin_resize : Ocgtk_gdk__.Gdk_enums.surfaceedge ->
Ocgtk_gdk__.GApp_launch_context_cycle_de440b34.device_t option ->
int ->
float ->
float ->
UInt32.t ->
unitmethod get_state : unit -> Ocgtk_gdk__.Gdk_enums.toplevelstatemethod inhibit_system_shortcuts : Ocgtk_gdk__.GApp_launch_context_cycle_de440b34.event_t
option ->
unitmethod lower : unit -> boolmethod minimize : unit -> boolmethod present : Ocgtk_gdk__.Toplevel_layout.t -> unitmethod restore_system_shortcuts : unit -> unitmethod set_decorated : bool -> unitmethod set_deletable : bool -> unitmethod set_icon_list : Ocgtk_gdk__.GTexture.texture_t list -> unitmethod set_modal : bool -> unitmethod set_startup_id : string -> unitmethod set_title : string -> unitmethod set_transient_for : Ocgtk_gdk__.GApp_launch_context_cycle_de440b34.surface_t ->
unitmethod supports_edge_constraints : unit -> boolmethod titlebar_gesture : Ocgtk_gdk__.Gdk_enums.titlebargesture -> boolmethod fullscreen_mode : Ocgtk_gdk__.Gdk_enums.fullscreenmodemethod set_fullscreen_mode : Ocgtk_gdk__.Gdk_enums.fullscreenmode -> unitmethod shortcuts_inhibited : boolmethod as_toplevel : Ocgtk_gdk__.Toplevel.t