Delivered-To: garrigue at math.nagoya-u.ac.jp
Delivered-To: lablgtk at yquem.inria.fr
From: Mike Spivey <mike at comlab.ox.ac.uk>
To: lablgtk <lablgtk at yquem.inria.fr>
Content-Type: text/plain
Date: Wed, 14 Oct 2009 20:32:34 +0100
Message-Id: <1255548754.12556.2.camel at staysail>
Mime-Version: 1.0
Content-Transfer-Encoding: 7bit
Subject: [Lablgtk] Patch to build with GtkSourceView-2.0

This patch makes it possible to build version 2.14.0 on a machine that
has GtkSourceView-2.0 installed but not GtkSourceView-1.0.  An obvious
typo, I think.

Best wishes,

-- Mike

diff -c -r lablgtk-2.14.0/src/gSourceView2.mli lablgtk-2.14.0-local/src/gSourceView2.mli
*** lablgtk-2.14.0/src/gSourceView2.mli	2009-09-16 14:42:17.000000000 +0100
--- lablgtk-2.14.0-local/src/gSourceView2.mli	2009-10-14 20:19:49.000000000 +0100
***************
*** 251,257 ****
  
  val iter_forward_search :
    GText.iter ->
!   SourceViewEnums.source_search_flag list ->
    start:< as_iter : Gtk.text_iter; .. > ->
    stop:< as_iter : Gtk.text_iter; .. > ->
    ?limit:< as_iter : Gtk.text_iter; .. > ->
--- 251,257 ----
  
  val iter_forward_search :
    GText.iter ->
!   SourceView2Enums.source_search_flag list ->
    start:< as_iter : Gtk.text_iter; .. > ->
    stop:< as_iter : Gtk.text_iter; .. > ->
    ?limit:< as_iter : Gtk.text_iter; .. > ->
***************
*** 259,266 ****
  
  val iter_backward_search :
    GText.iter ->
!   SourceViewEnums.source_search_flag list ->
    start:< as_iter : Gtk.text_iter; .. > ->
    stop:< as_iter : Gtk.text_iter; .. > ->
    ?limit:< as_iter : Gtk.text_iter; .. > ->
!   string -> (GText.iter * GText.iter) option
\ No newline at end of file
--- 259,266 ----
  
  val iter_backward_search :
    GText.iter ->
!   SourceView2Enums.source_search_flag list ->
    start:< as_iter : Gtk.text_iter; .. > ->
    stop:< as_iter : Gtk.text_iter; .. > ->
    ?limit:< as_iter : Gtk.text_iter; .. > ->
!   string -> (GText.iter * GText.iter) option
diff -c -r lablgtk-2.14.0/src/gtkSourceView2.ml lablgtk-2.14.0-local/src/gtkSourceView2.ml
*** lablgtk-2.14.0/src/gtkSourceView2.ml	2009-09-16 13:32:28.000000000 +0100
--- lablgtk-2.14.0-local/src/gtkSourceView2.ml	2009-10-14 20:19:26.000000000 +0100
***************
*** 189,201 ****
  module SourceViewMisc =
  struct
    external iter_backward_search:
!        Gtk.text_iter -> string -> SourceViewEnums.source_search_flag list ->
  	start: Gtk.text_iter -> stop: Gtk.text_iter -> Gtk.text_iter option ->
  	(Gtk.text_iter * Gtk.text_iter) option =
      "ml_gtk_source_iter_backward_search_bc" "ml_gtk_source_iter_backward_search"
    external iter_forward_search:
!       Gtk.text_iter -> string -> SourceViewEnums.source_search_flag list ->
  	start: Gtk.text_iter -> stop: Gtk.text_iter -> Gtk.text_iter option ->
  	(Gtk.text_iter * Gtk.text_iter) option =
      "ml_gtk_source_iter_forward_search_bc" "ml_gtk_source_iter_forward_search"
! end
\ No newline at end of file
--- 189,201 ----
  module SourceViewMisc =
  struct
    external iter_backward_search:
!        Gtk.text_iter -> string -> SourceView2Enums.source_search_flag list ->
  	start: Gtk.text_iter -> stop: Gtk.text_iter -> Gtk.text_iter option ->
  	(Gtk.text_iter * Gtk.text_iter) option =
      "ml_gtk_source_iter_backward_search_bc" "ml_gtk_source_iter_backward_search"
    external iter_forward_search:
!       Gtk.text_iter -> string -> SourceView2Enums.source_search_flag list ->
  	start: Gtk.text_iter -> stop: Gtk.text_iter -> Gtk.text_iter option ->
  	(Gtk.text_iter * Gtk.text_iter) option =
      "ml_gtk_source_iter_forward_search_bc" "ml_gtk_source_iter_forward_search"
! end


_______________________________________________
Lablgtk mailing list
Lablgtk@yquem.inria.fr
http://yquem.inria.fr/cgi-bin/mailman/listinfo/lablgtk