]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/DEVEL/lablgtk/lablgtk_20000829-0.1.0/gMisc.mli
Initial revision
[helm.git] / helm / DEVEL / lablgtk / lablgtk_20000829-0.1.0 / gMisc.mli
diff --git a/helm/DEVEL/lablgtk/lablgtk_20000829-0.1.0/gMisc.mli b/helm/DEVEL/lablgtk/lablgtk_20000829-0.1.0/gMisc.mli
new file mode 100644 (file)
index 0000000..7008369
--- /dev/null
@@ -0,0 +1,263 @@
+(* $Id$ *)
+
+open Gtk
+open GObj
+open GContainer
+
+val separator :
+  Tags.orientation ->
+  ?width:int ->
+  ?height:int ->
+  ?packing:(widget -> unit) -> ?show:bool -> unit -> widget_full
+
+class statusbar_context :
+  Gtk.statusbar obj -> Gtk.statusbar_context ->
+  object
+    val context : Gtk.statusbar_context
+    val obj : Gtk.statusbar obj
+    method context : Gtk.statusbar_context
+    method flash : ?delay:int -> string -> unit
+    method pop : unit -> unit
+    method push : string -> statusbar_message
+    method remove : statusbar_message -> unit
+  end
+
+class statusbar : Gtk.statusbar obj ->
+  object
+    inherit container_full
+    val obj : Gtk.statusbar obj
+    method new_context : name:string -> statusbar_context
+  end
+val statusbar :
+  ?border_width:int ->
+  ?width:int ->
+  ?height:int ->
+  ?packing:(widget -> unit) -> ?show:bool -> unit -> statusbar
+
+class calendar_signals : 'a obj ->
+  object
+    inherit widget_signals
+    constraint 'a = [>`calendar|`widget]
+    val obj : 'a obj
+    method day_selected : callback:(unit -> unit) -> GtkSignal.id
+    method day_selected_double_click :
+      callback:(unit -> unit) -> GtkSignal.id
+    method month_changed : callback:(unit -> unit) -> GtkSignal.id
+    method next_month : callback:(unit -> unit) -> GtkSignal.id
+    method next_year : callback:(unit -> unit) -> GtkSignal.id
+    method prev_month : callback:(unit -> unit) -> GtkSignal.id
+    method prev_year : callback:(unit -> unit) -> GtkSignal.id
+  end
+
+class calendar : Gtk.calendar obj ->
+  object
+    inherit widget
+    val obj : Gtk.calendar obj
+    method event : event_ops
+    method clear_marks : unit
+    method connect : calendar_signals
+    method date : int * int * int
+    method display_options : Tags.calendar_display_options list -> unit
+    method freeze : unit -> unit
+    method mark_day : int -> unit
+    method select_day : int -> unit
+    method select_month : month:int -> year:int -> unit
+    method thaw : unit -> unit
+    method unmark_day : int -> unit
+  end
+val calendar :
+  ?options:Tags.calendar_display_options list ->
+  ?width:int ->
+  ?height:int ->
+  ?packing:(widget -> unit) -> ?show:bool -> unit -> calendar
+
+class drawing_area : Gtk.drawing_area obj ->
+  object
+    inherit widget_full
+    val obj : Gtk.drawing_area obj
+    method event : event_ops
+    method set_size : width:int -> height:int -> unit
+  end
+val drawing_area :
+  ?width:int ->
+  ?height:int ->
+  ?packing:(widget -> unit) -> ?show:bool -> unit -> drawing_area
+
+class misc : 'a obj ->
+  object
+    inherit widget
+    constraint 'a = [>`misc|`widget]
+    val obj : 'a obj
+    method set_alignment : ?x:float -> ?y:float -> unit -> unit
+    method set_padding : ?x:int -> ?y:int -> unit -> unit
+  end
+
+class arrow : 'a obj ->
+  object
+    inherit misc
+    constraint 'a = [>`arrow|`misc|`widget]
+    val obj : 'a obj
+    method set_arrow : Tags.arrow_type -> shadow:Tags.shadow_type -> unit
+  end
+
+val arrow :
+  kind:Tags.arrow_type ->
+  shadow:Tags.shadow_type ->
+  ?xalign:float ->
+  ?yalign:float ->
+  ?xpad:int ->
+  ?ypad:int ->
+  ?width:int ->
+  ?height:int ->
+  ?packing:(widget -> unit) -> ?show:bool -> unit -> arrow
+
+class image : 'a obj ->
+  object
+    inherit misc
+    constraint 'a = [>`image|`misc|`widget]
+    val obj : 'a obj
+    method set_image : ?mask:Gdk.bitmap -> Gdk.image -> unit
+  end
+
+val image :
+  Gdk.image ->
+  ?mask:Gdk.bitmap ->
+  ?xalign:float ->
+  ?yalign:float ->
+  ?xpad:int ->
+  ?ypad:int ->
+  ?width:int ->
+  ?height:int ->
+  ?packing:(widget -> unit) -> ?show:bool -> unit -> image
+
+class label_skel : 'a obj ->
+  object
+    inherit misc
+    constraint 'a = [>`label|`misc|`widget]
+    val obj : 'a obj
+    method set_justify : Tags.justification -> unit
+    method set_line_wrap : bool -> unit
+    method set_pattern : string -> unit
+    method set_text : string -> unit
+    method text : string
+  end
+
+class label : [>`label] obj ->
+  object
+    inherit label_skel
+    val obj : Gtk.label obj
+    method connect : widget_signals
+  end
+val label :
+  ?text:string ->
+  ?justify:Tags.justification ->
+  ?line_wrap:bool ->
+  ?pattern:string ->
+  ?xalign:float ->
+  ?yalign:float ->
+  ?xpad:int ->
+  ?ypad:int ->
+  ?width:int ->
+  ?height:int ->
+  ?packing:(widget -> unit) -> ?show:bool -> unit -> label
+val label_cast : < as_widget : 'a obj ; .. > -> label
+
+class tips_query_signals : 'a obj ->
+  object
+    inherit widget_signals
+    constraint 'a = [>`tipsquery|`widget]
+    val obj : 'a obj
+    method widget_entered :
+      callback:(widget option ->
+                text:string option -> privat:string option -> unit) ->
+      GtkSignal.id
+    method widget_selected :
+      callback:(widget option -> text:string option ->
+                privat:string option -> GdkEvent.Button.t option -> bool) ->
+      GtkSignal.id
+  end
+
+class tips_query : Gtk.tips_query obj ->
+  object
+    inherit label_skel
+    val obj : Gtk.tips_query obj
+    method connect : tips_query_signals
+    method set_caller : widget -> unit
+    method set_emit_always : bool -> unit
+    method set_label_inactive : string -> unit
+    method set_label_no_tip : string -> unit
+    method start : unit -> unit
+    method stop : unit -> unit
+  end
+val tips_query :
+  ?caller:#widget ->
+  ?emit_always:bool ->
+  ?label_inactive:string ->
+  ?label_no_tip:string ->
+  ?xalign:float ->
+  ?yalign:float ->
+  ?xpad:int ->
+  ?ypad:int ->
+  ?width:int ->
+  ?height:int ->
+  ?packing:(widget -> unit) -> ?show:bool -> unit -> tips_query
+
+class pixmap : Gtk.pixmap Gtk.obj ->
+  object
+    inherit misc
+    val obj : Gtk.pixmap Gtk.obj
+    method connect : GObj.widget_signals
+    method pixmap : GDraw.pixmap
+    method set_pixmap : GDraw.pixmap -> unit
+  end
+val pixmap :
+  #GDraw.pixmap ->
+  ?xalign:float ->
+  ?yalign:float ->
+  ?xpad:int ->
+  ?ypad:int ->
+  ?width:int ->
+  ?height:int ->
+  ?packing:(widget -> unit) -> ?show:bool -> unit -> pixmap
+
+class color_selection : Gtk.color_selection obj ->
+  object
+    inherit widget_full
+    val obj : Gtk.color_selection obj
+    method get_color : Gtk.color
+    method set_color :
+      red:float -> green:float -> blue:float -> ?opacity:float -> unit -> unit
+    method set_opacity : bool -> unit
+    method set_update_policy : Tags.update_type -> unit
+  end
+val color_selection :
+  ?border_width:int ->
+  ?width:int ->
+  ?height:int ->
+  ?packing:(widget -> unit) -> ?show:bool -> unit -> color_selection
+
+class font_selection : Gtk.font_selection obj ->
+  object
+    inherit widget_full
+    val obj : Gtk.font_selection obj
+    method event : event_ops
+    method notebook : GPack.notebook
+    method font : Gdk.font option
+    method font_name : string option
+    method preview_text : string
+    method set_filter :
+      ?kind:Tags.font_type list ->
+      ?foundry:string list ->
+      ?weight:string list ->
+      ?slant:string list ->
+      ?setwidth:string list ->
+      ?spacing:string list ->
+      ?charset:string list -> Tags.font_filter_type -> unit
+    method set_font_name : string -> unit
+    method set_preview_text : string -> unit
+  end
+val font_selection :
+  ?border_width:int ->
+  ?width:int ->
+  ?height:int ->
+  ?packing:(widget -> unit) -> ?show:bool -> unit -> font_selection