(* Copyright (C) 2005:
 *	Stefano Zacchiroli     <zack@cs.unibo.it>
 * 	Claudio Sacerdoti Coen <sacerdot@cs.unibo.it>
 *
 * This file is part of lablgtksourceview, the OCaml binding for the
 * GtkSourceView widget.
 * 
 * lablgtksourceview is free software; you can redistribute it and/or
 * modify it under the terms of the GNU General Public License as
 * published by the Free Software Foundation; either version 2 of the
 * License, or (at your option) any later version.
 *
 * lablgtksourceview is distributed in the hope that it will be useful,
 * but WITHOUT ANY WARRANTY; without even the implied warranty of
 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
 * General Public License for more details.
 *
 * You should have received a copy of the GNU General Public License
 * along with lablgtksourceview; if not, write to the Free Software
 * Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA
 * 02111-1307, USA.
 * 
 * For details, send a mail to the authors.
 *)

open Gtk

class source_view_signals :
  ([> Gtk_sourceview.source_view ] as 'b) obj ->
  object ('a)
    method after : 'a
    method copy_clipboard : callback:(unit -> unit) -> GtkSignal.id
    method cut_clipboard : callback:(unit -> unit) -> GtkSignal.id
    method delete_from_cursor :
      callback:(Gtk.Tags.delete_type -> int -> unit) -> GtkSignal.id
    method destroy : callback:(unit -> unit) -> GtkSignal.id
    method insert_at_cursor : callback:(string -> unit) -> GtkSignal.id
    method move_cursor :
      callback:(Gtk.Tags.movement_step -> int -> extend:bool -> unit) ->
        GtkSignal.id
    method move_focus :
      callback:(Gtk.Tags.direction_type -> unit) -> GtkSignal.id
    method page_horizontally :
      callback:(int -> extend:bool -> unit) -> GtkSignal.id
    method paste_clipboard : callback:(unit -> unit) -> GtkSignal.id
    method populate_popup :
      callback:(Gtk.menu Gtk.obj -> unit) -> GtkSignal.id
    method redo : callback:(unit -> unit) -> GtkSignal.id
    method set_anchor : callback:(unit -> unit) -> GtkSignal.id
    method set_scroll_adjustments :
      callback:(GData.adjustment option -> GData.adjustment option -> unit) ->        GtkSignal.id
    method toggle_overwrite : callback:(unit -> unit) -> GtkSignal.id
    method undo : callback:(unit -> unit) -> GtkSignal.id
  end

class source_view :
  Gtk_sourceview.source_view Gtk.obj ->
  object
    inherit GText.view_skel
    val obj: Gtk_sourceview.source_view Gtk.obj
    method connect: source_view_signals
    method set_show_line_numbers : bool -> unit
    method show_line_numbers : bool
    method set_show_line_markers : bool -> unit
    method show_line_markers : bool
    method set_tabs_width: int -> unit
    method tabs_width: int
    method set_auto_indent: bool -> unit
    method auto_indent: bool
    method set_insert_spaces_instead_of_tabs: bool -> unit
    method insert_spaces_instead_of_tabs: bool
    method set_show_margin: bool -> unit
    method show_margin: bool
    method set_margin: int -> unit
    method margin: int
(*     method set_marker_pixbuf: GdkPixbuf.pixbuf -> unit *)
(*     method marker_pixbuf: GdkPixbuf.pixbuf *)
    method set_smart_home_end: bool -> unit
    method smart_home_end: bool
  end

val source_view :
  ?auto_indent:bool ->
  ?insert_spaces_instead_of_tabs:bool ->
  ?margin:int ->
  ?show_line_markers:bool ->
  ?show_line_numbers:bool ->
  ?show_margin:bool ->
  ?smart_home_end:bool ->
  ?tabs_width:int ->
  ?editable:bool ->
  ?cursor_visible:bool ->
  ?justification:GtkEnums.justification ->
  ?wrap_mode:GtkEnums.wrap_mode ->
  ?border_width:int ->
  ?width:int ->
  ?height:int ->
  ?packing:(GObj.widget -> unit) ->
  ?show:bool ->
  unit ->
    source_view