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

   1 (* $Id$ *)
   2
   3 open Gtk
   4 open GObj
   5
   6 class editable_signals : 'a obj ->
   7   object
   8     inherit widget_signals
   9     constraint 'a = [>`editable|`widget]
  10     val obj : 'a obj
  11     method activate : callback:(unit -> unit) -> GtkSignal.id
  12     method changed : callback:(unit -> unit) -> GtkSignal.id
  13     method delete_text :
  14       callback:(start:int -> stop:int -> unit) -> GtkSignal.id
  15     method insert_text :
  16       callback:(string -> pos:int -> unit) -> GtkSignal.id
  17   end
  18
  19 class editable : 'a obj ->
  20   object
  21     inherit widget
  22     constraint 'a = [>`editable|`widget]
  23     val obj : 'a obj
  24     method connect : editable_signals
  25     method copy_clipboard : unit -> unit
  26     method cut_clipboard : unit -> unit
  27     method delete_selection : unit -> unit
  28     method delete_text : start:int -> stop:int -> unit
  29     method get_chars : start:int -> stop:int -> string
  30     method insert_text : string -> pos:int -> int
  31     method paste_clipboard : unit -> unit
  32     method position : int
  33     method select_region : start:int -> stop:int -> unit
  34     method selection : (int * int) option
  35     method set_editable : bool -> unit
  36     method set_position : int -> unit
  37   end
  38
  39 class entry : 'a obj ->
  40   object
  41     inherit editable
  42     constraint 'a = [>`entry|`editable|`widget]
  43     val obj : 'a obj
  44     method event : event_ops
  45     method append_text : string -> unit
  46     method prepend_text : string -> unit
  47     method set_max_length : int -> unit
  48     method set_text : string -> unit
  49     method set_visibility : bool -> unit
  50     method text : string
  51     method text_length : int
  52   end
  53 val entry :
  54   ?max_length:int ->
  55   ?text:string ->
  56   ?visibility:bool ->
  57   ?editable:bool ->
  58   ?width:int ->
  59   ?height:int ->
  60   ?packing:(widget -> unit) -> ?show:bool -> unit -> entry
  61
  62 class spin_button : Gtk.spin_button obj ->
  63   object
  64     inherit entry
  65     val obj : Gtk.spin_button obj
  66     method adjustment : GData.adjustment
  67     method set_adjustment : GData.adjustment -> unit
  68     method set_digits : int -> unit
  69     method set_numeric : bool -> unit
  70     method set_shadow_type : Tags.shadow_type -> unit
  71     method set_snap_to_ticks : bool -> unit
  72     method set_update_policy : [`ALWAYS|`IF_VALID] -> unit
  73     method set_value : float -> unit
  74     method set_wrap : bool -> unit
  75     method spin : Tags.spin_type -> unit
  76     method update : unit
  77     method value : float
  78     method value_as_int : int
  79   end
  80 val spin_button :
  81   ?adjustment:GData.adjustment ->
  82   ?rate:float ->
  83   ?digits:int ->
  84   ?value:float ->
  85   ?update_policy:[`ALWAYS|`IF_VALID] ->
  86   ?numeric:bool ->
  87   ?wrap:bool ->
  88   ?shadow_type:Tags.shadow_type ->
  89   ?snap_to_ticks:bool ->
  90   ?width:int ->
  91   ?height:int ->
  92   ?packing:(widget -> unit) -> ?show:bool -> unit -> spin_button
  93
  94 class combo : Gtk.combo obj ->
  95   object
  96     inherit widget
  97     val obj : Gtk.combo obj
  98     method disable_activate : unit -> unit
  99     method entry : entry
 100     method list : GList.liste
 101     method set_case_sensitive : bool -> unit
 102     method set_item_string : GList.list_item -> string -> unit
 103     method set_popdown_strings : string list -> unit
 104     method set_use_arrows : [`NEVER|`DEFAULT|`ALWAYS] -> unit
 105     method set_value_in_list :
 106       ?required:bool -> ?ok_if_empty:bool -> unit -> unit
 107   end
 108 val combo :
 109   ?popdown_strings:string list ->
 110   ?use_arrows:[`NEVER|`DEFAULT|`ALWAYS] ->
 111   ?case_sensitive:bool ->
 112   ?value_in_list:bool ->
 113   ?ok_if_empty:bool ->
 114   ?border_width:int ->
 115   ?width:int ->
 116   ?height:int ->
 117   ?packing:(widget -> unit) -> ?show:bool -> unit -> combo
 118
 119 class text : Gtk.text obj ->
 120   object
 121     inherit editable
 122     val obj : Gtk.text obj
 123     method event : event_ops
 124     method freeze : unit -> unit
 125     method hadjustment : GData.adjustment
 126     method insert :
 127       ?font:Gdk.font ->
 128       ?foreground:GDraw.color -> ?background:GDraw.color -> string -> unit
 129     method length : int
 130     method point : int
 131     method set_hadjustment : GData.adjustment -> unit
 132     method set_point : int -> unit
 133     method set_vadjustment : GData.adjustment -> unit
 134     method set_word_wrap : bool -> unit
 135     method set_line_wrap : bool -> unit
 136     method thaw : unit -> unit
 137     method vadjustment : GData.adjustment
 138   end
 139 val text :
 140   ?hadjustment:GData.adjustment ->
 141   ?vadjustment:GData.adjustment ->
 142   ?editable:bool ->
 143   ?word_wrap:bool ->
 144   ?line_wrap:bool ->
 145   ?width:int ->
 146   ?height:int -> ?packing:(widget -> unit) -> ?show:bool -> unit -> text