helm/DEVEL/lablgtksourceview/gSourceView.mli

   1 (* Copyright (C) 2005:
   2  *      Stefano Zacchiroli     <zack@cs.unibo.it>
   3  *      Claudio Sacerdoti Coen <sacerdot@cs.unibo.it>
   4  *
   5  * This file is part of lablgtksourceview, the OCaml binding for the
   6  * GtkSourceView widget.
   7  *
   8  * lablgtksourceview is free software; you can redistribute it and/or
   9  * modify it under the terms of the GNU General Public License as
  10  * published by the Free Software Foundation; either version 2 of the
  11  * License, or (at your option) any later version.
  12  *
  13  * lablgtksourceview is distributed in the hope that it will be useful,
  14  * but WITHOUT ANY WARRANTY; without even the implied warranty of
  15  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
  16  * General Public License for more details.
  17  *
  18  * You should have received a copy of the GNU General Public License
  19  * along with lablgtksourceview; if not, write to the Free Software
  20  * Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA
  21  * 02111-1307, USA.
  22  *
  23  * For details, send a mail to the authors.
  24  *)
  25
  26 open Gtk
  27
  28 class source_view_signals :
  29   ([> Gtk_sourceview.source_view ] as 'b) obj ->
  30   object ('a)
  31     method after : 'a
  32     method copy_clipboard : callback:(unit -> unit) -> GtkSignal.id
  33     method cut_clipboard : callback:(unit -> unit) -> GtkSignal.id
  34     method delete_from_cursor :
  35       callback:(Gtk.Tags.delete_type -> int -> unit) -> GtkSignal.id
  36     method destroy : callback:(unit -> unit) -> GtkSignal.id
  37     method insert_at_cursor : callback:(string -> unit) -> GtkSignal.id
  38     method move_cursor :
  39       callback:(Gtk.Tags.movement_step -> int -> extend:bool -> unit) ->
  40         GtkSignal.id
  41     method move_focus :
  42       callback:(Gtk.Tags.direction_type -> unit) -> GtkSignal.id
  43     method page_horizontally :
  44       callback:(int -> extend:bool -> unit) -> GtkSignal.id
  45     method paste_clipboard : callback:(unit -> unit) -> GtkSignal.id
  46     method populate_popup :
  47       callback:(Gtk.menu Gtk.obj -> unit) -> GtkSignal.id
  48     method redo : callback:(unit -> unit) -> GtkSignal.id
  49     method set_anchor : callback:(unit -> unit) -> GtkSignal.id
  50     method set_scroll_adjustments :
  51       callback:(GData.adjustment option -> GData.adjustment option -> unit) ->        GtkSignal.id
  52     method toggle_overwrite : callback:(unit -> unit) -> GtkSignal.id
  53     method undo : callback:(unit -> unit) -> GtkSignal.id
  54   end
  55
  56 class source_view :
  57   Gtk_sourceview.source_view Gtk.obj ->
  58   object
  59     inherit GText.view_skel
  60     val obj: Gtk_sourceview.source_view Gtk.obj
  61     method connect: source_view_signals
  62     method set_show_line_numbers : bool -> unit
  63     method show_line_numbers : bool
  64     method set_show_line_markers : bool -> unit
  65     method show_line_markers : bool
  66     method set_tabs_width: int -> unit
  67     method tabs_width: int
  68     method set_auto_indent: bool -> unit
  69     method auto_indent: bool
  70     method set_insert_spaces_instead_of_tabs: bool -> unit
  71     method insert_spaces_instead_of_tabs: bool
  72     method set_show_margin: bool -> unit
  73     method show_margin: bool
  74     method set_margin: int -> unit
  75     method margin: int
  76 (*     method set_marker_pixbuf: GdkPixbuf.pixbuf -> unit *)
  77 (*     method marker_pixbuf: GdkPixbuf.pixbuf *)
  78     method set_smart_home_end: bool -> unit
  79     method smart_home_end: bool
  80   end
  81
  82 val source_view :
  83   ?auto_indent:bool ->
  84   ?insert_spaces_instead_of_tabs:bool ->
  85   ?margin:int ->
  86   ?show_line_markers:bool ->
  87   ?show_line_numbers:bool ->
  88   ?show_margin:bool ->
  89   ?smart_home_end:bool ->
  90   ?tabs_width:int ->
  91   ?editable:bool ->
  92   ?cursor_visible:bool ->
  93   ?justification:GtkEnums.justification ->
  94   ?wrap_mode:GtkEnums.wrap_mode ->
  95   ?border_width:int ->
  96   ?width:int ->
  97   ?height:int ->
  98   ?packing:(GObj.widget -> unit) ->
  99   ?show:bool ->
 100   unit ->
 101     source_view
 102