Module Xt
module Xt: sig
.. end
type
xtAppContext
type 'a
widget
type
wobject
type
shell_widget_class =
| |
ShellWidgetClass |
| |
OverrideShellWidgetClass |
| |
WmShellWidgetClass |
| |
TransientShellWidgetClass |
| |
TopLevelShellWidgetClass |
| |
ApplicationShellWidgetClass |
| |
SessionShellWidgetClass |
val xtOpenApplication : application_class:string ->
shell_widget_class -> string array -> xtAppContext * 'a widget
val xtAppMainLoop : app:xtAppContext -> unit
val xtDestroyApplicationContext : app:xtAppContext -> unit
val xtRealizeWidget : widget:'a widget -> unit
val xtManageChild : child:'a widget -> unit
val xtUnmanageChild : child:'a widget -> unit
val xtDisplay : widget:'a widget -> Xlib.display
val xtDisplayOfObject : wobject:wobject widget -> Xlib.display
val xtScreen : widget:'a widget -> Xlib.xScreen
val xtWindow : widget:'a widget -> Xlib.window
val xtParent : widget:'a widget -> 'a widget
val xtMapWidget : widget:'a widget -> unit
val xtUnmapWidget : widget:'a widget -> unit
type
widget_class =
| |
AsciiSinkObjectClass |
| |
AsciiSrcObjectClass |
| |
AsciiTextWidgetClass |
| |
BoxWidgetClass |
| |
CommandWidgetClass |
| |
FormWidgetClass |
| |
GripWidgetClass |
| |
LabelWidgetClass |
| |
MenuButtonWidgetClass |
val xtCreateManagedWidget : name:string -> widget_class -> parent:'a widget -> 'a widget
type
callback_name =
| |
XtNcallback |
| |
XtNdestroyCallback |
| |
XtNpopupCallback |
| |
XtNpopdownCallback |
| |
XtNunrealizeCallback |
| |
XtCCallback |
| |
XtRCallback |
| |
XtHaddCallback |
| |
XtHaddCallbacks |
| |
XtHremoveCallback |
| |
XtHremoveCallbacks |
| |
XtHremoveAllCallbacks |
val init_xtAddCallback : (int -> unit -> unit) -> unit
val cb_tbl : (int, unit -> unit) Hashtbl.t
val real_callback : int -> unit -> unit
val cb_count : int Pervasives.ref
val xtAddCallback : widget:'a widget ->
name:callback_name ->
cb:(data:'b -> value:unit -> unit) -> data:'b -> unit