Patch to build with GtkSourceView-2.0
Mike Spivey <[email protected]> Wed, 14 Oct 2009 20:32:34 +0100
| Newsgroups | gmane.comp.lang.ocaml.lib.gtk |
|---|---|
| Message-ID | <1255548754.12556.2.camel@staysail> |
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