X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Flablgtk%2Flablgtk_20001129-0.1.0%2FgMisc.mli;fp=helm%2FDEVEL%2Flablgtk%2Flablgtk_20001129-0.1.0%2FgMisc.mli;h=0000000000000000000000000000000000000000;hb=3ef089a4c58fbe429dd539af6215991ecbe11ee2;hp=7008369b7b80965d2bc9500756f1ea52e6b03c4e;hpb=1c7fb836e2af4f2f3d18afd0396701f2094265ff;p=helm.git

diff --git a/helm/DEVEL/lablgtk/lablgtk_20001129-0.1.0/gMisc.mli b/helm/DEVEL/lablgtk/lablgtk_20001129-0.1.0/gMisc.mli
deleted file mode 100644
index 7008369b7..000000000
--- a/helm/DEVEL/lablgtk/lablgtk_20001129-0.1.0/gMisc.mli
+++ /dev/null
@@ -1,263 +0,0 @@
-(* $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