helm/DEVEL/lablgtk/lablgtk_20001129-0.1.0/gMisc.mli

   1 (* $Id$ *)
   2
   3 open Gtk
   4 open GObj
   5 open GContainer
   6
   7 val separator :
   8   Tags.orientation ->
   9   ?width:int ->
  10   ?height:int ->
  11   ?packing:(widget -> unit) -> ?show:bool -> unit -> widget_full
  12
  13 class statusbar_context :
  14   Gtk.statusbar obj -> Gtk.statusbar_context ->
  15   object
  16     val context : Gtk.statusbar_context
  17     val obj : Gtk.statusbar obj
  18     method context : Gtk.statusbar_context
  19     method flash : ?delay:int -> string -> unit
  20     method pop : unit -> unit
  21     method push : string -> statusbar_message
  22     method remove : statusbar_message -> unit
  23   end
  24
  25 class statusbar : Gtk.statusbar obj ->
  26   object
  27     inherit container_full
  28     val obj : Gtk.statusbar obj
  29     method new_context : name:string -> statusbar_context
  30   end
  31 val statusbar :
  32   ?border_width:int ->
  33   ?width:int ->
  34   ?height:int ->
  35   ?packing:(widget -> unit) -> ?show:bool -> unit -> statusbar
  36
  37 class calendar_signals : 'a obj ->
  38   object
  39     inherit widget_signals
  40     constraint 'a = [>`calendar|`widget]
  41     val obj : 'a obj
  42     method day_selected : callback:(unit -> unit) -> GtkSignal.id
  43     method day_selected_double_click :
  44       callback:(unit -> unit) -> GtkSignal.id
  45     method month_changed : callback:(unit -> unit) -> GtkSignal.id
  46     method next_month : callback:(unit -> unit) -> GtkSignal.id
  47     method next_year : callback:(unit -> unit) -> GtkSignal.id
  48     method prev_month : callback:(unit -> unit) -> GtkSignal.id
  49     method prev_year : callback:(unit -> unit) -> GtkSignal.id
  50   end
  51
  52 class calendar : Gtk.calendar obj ->
  53   object
  54     inherit widget
  55     val obj : Gtk.calendar obj
  56     method event : event_ops
  57     method clear_marks : unit
  58     method connect : calendar_signals
  59     method date : int * int * int
  60     method display_options : Tags.calendar_display_options list -> unit
  61     method freeze : unit -> unit
  62     method mark_day : int -> unit
  63     method select_day : int -> unit
  64     method select_month : month:int -> year:int -> unit
  65     method thaw : unit -> unit
  66     method unmark_day : int -> unit
  67   end
  68 val calendar :
  69   ?options:Tags.calendar_display_options list ->
  70   ?width:int ->
  71   ?height:int ->
  72   ?packing:(widget -> unit) -> ?show:bool -> unit -> calendar
  73
  74 class drawing_area : Gtk.drawing_area obj ->
  75   object
  76     inherit widget_full
  77     val obj : Gtk.drawing_area obj
  78     method event : event_ops
  79     method set_size : width:int -> height:int -> unit
  80   end
  81 val drawing_area :
  82   ?width:int ->
  83   ?height:int ->
  84   ?packing:(widget -> unit) -> ?show:bool -> unit -> drawing_area
  85
  86 class misc : 'a obj ->
  87   object
  88     inherit widget
  89     constraint 'a = [>`misc|`widget]
  90     val obj : 'a obj
  91     method set_alignment : ?x:float -> ?y:float -> unit -> unit
  92     method set_padding : ?x:int -> ?y:int -> unit -> unit
  93   end
  94
  95 class arrow : 'a obj ->
  96   object
  97     inherit misc
  98     constraint 'a = [>`arrow|`misc|`widget]
  99     val obj : 'a obj
 100     method set_arrow : Tags.arrow_type -> shadow:Tags.shadow_type -> unit
 101   end
 102
 103 val arrow :
 104   kind:Tags.arrow_type ->
 105   shadow:Tags.shadow_type ->
 106   ?xalign:float ->
 107   ?yalign:float ->
 108   ?xpad:int ->
 109   ?ypad:int ->
 110   ?width:int ->
 111   ?height:int ->
 112   ?packing:(widget -> unit) -> ?show:bool -> unit -> arrow
 113
 114 class image : 'a obj ->
 115   object
 116     inherit misc
 117     constraint 'a = [>`image|`misc|`widget]
 118     val obj : 'a obj
 119     method set_image : ?mask:Gdk.bitmap -> Gdk.image -> unit
 120   end
 121
 122 val image :
 123   Gdk.image ->
 124   ?mask:Gdk.bitmap ->
 125   ?xalign:float ->
 126   ?yalign:float ->
 127   ?xpad:int ->
 128   ?ypad:int ->
 129   ?width:int ->
 130   ?height:int ->
 131   ?packing:(widget -> unit) -> ?show:bool -> unit -> image
 132
 133 class label_skel : 'a obj ->
 134   object
 135     inherit misc
 136     constraint 'a = [>`label|`misc|`widget]
 137     val obj : 'a obj
 138     method set_justify : Tags.justification -> unit
 139     method set_line_wrap : bool -> unit
 140     method set_pattern : string -> unit
 141     method set_text : string -> unit
 142     method text : string
 143   end
 144
 145 class label : [>`label] obj ->
 146   object
 147     inherit label_skel
 148     val obj : Gtk.label obj
 149     method connect : widget_signals
 150   end
 151 val label :
 152   ?text:string ->
 153   ?justify:Tags.justification ->
 154   ?line_wrap:bool ->
 155   ?pattern:string ->
 156   ?xalign:float ->
 157   ?yalign:float ->
 158   ?xpad:int ->
 159   ?ypad:int ->
 160   ?width:int ->
 161   ?height:int ->
 162   ?packing:(widget -> unit) -> ?show:bool -> unit -> label
 163 val label_cast : < as_widget : 'a obj ; .. > -> label
 164
 165 class tips_query_signals : 'a obj ->
 166   object
 167     inherit widget_signals
 168     constraint 'a = [>`tipsquery|`widget]
 169     val obj : 'a obj
 170     method widget_entered :
 171       callback:(widget option ->
 172                 text:string option -> privat:string option -> unit) ->
 173       GtkSignal.id
 174     method widget_selected :
 175       callback:(widget option -> text:string option ->
 176                 privat:string option -> GdkEvent.Button.t option -> bool) ->
 177       GtkSignal.id
 178   end
 179
 180 class tips_query : Gtk.tips_query obj ->
 181   object
 182     inherit label_skel
 183     val obj : Gtk.tips_query obj
 184     method connect : tips_query_signals
 185     method set_caller : widget -> unit
 186     method set_emit_always : bool -> unit
 187     method set_label_inactive : string -> unit
 188     method set_label_no_tip : string -> unit
 189     method start : unit -> unit
 190     method stop : unit -> unit
 191   end
 192 val tips_query :
 193   ?caller:#widget ->
 194   ?emit_always:bool ->
 195   ?label_inactive:string ->
 196   ?label_no_tip:string ->
 197   ?xalign:float ->
 198   ?yalign:float ->
 199   ?xpad:int ->
 200   ?ypad:int ->
 201   ?width:int ->
 202   ?height:int ->
 203   ?packing:(widget -> unit) -> ?show:bool -> unit -> tips_query
 204
 205 class pixmap : Gtk.pixmap Gtk.obj ->
 206   object
 207     inherit misc
 208     val obj : Gtk.pixmap Gtk.obj
 209     method connect : GObj.widget_signals
 210     method pixmap : GDraw.pixmap
 211     method set_pixmap : GDraw.pixmap -> unit
 212   end
 213 val pixmap :
 214   #GDraw.pixmap ->
 215   ?xalign:float ->
 216   ?yalign:float ->
 217   ?xpad:int ->
 218   ?ypad:int ->
 219   ?width:int ->
 220   ?height:int ->
 221   ?packing:(widget -> unit) -> ?show:bool -> unit -> pixmap
 222
 223 class color_selection : Gtk.color_selection obj ->
 224   object
 225     inherit widget_full
 226     val obj : Gtk.color_selection obj
 227     method get_color : Gtk.color
 228     method set_color :
 229       red:float -> green:float -> blue:float -> ?opacity:float -> unit -> unit
 230     method set_opacity : bool -> unit
 231     method set_update_policy : Tags.update_type -> unit
 232   end
 233 val color_selection :
 234   ?border_width:int ->
 235   ?width:int ->
 236   ?height:int ->
 237   ?packing:(widget -> unit) -> ?show:bool -> unit -> color_selection
 238
 239 class font_selection : Gtk.font_selection obj ->
 240   object
 241     inherit widget_full
 242     val obj : Gtk.font_selection obj
 243     method event : event_ops
 244     method notebook : GPack.notebook
 245     method font : Gdk.font option
 246     method font_name : string option
 247     method preview_text : string
 248     method set_filter :
 249       ?kind:Tags.font_type list ->
 250       ?foundry:string list ->
 251       ?weight:string list ->
 252       ?slant:string list ->
 253       ?setwidth:string list ->
 254       ?spacing:string list ->
 255       ?charset:string list -> Tags.font_filter_type -> unit
 256     method set_font_name : string -> unit
 257     method set_preview_text : string -> unit
 258   end
 259 val font_selection :
 260   ?border_width:int ->
 261   ?width:int ->
 262   ?height:int ->
 263   ?packing:(widget -> unit) -> ?show:bool -> unit -> font_selection