1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
|
(*****************************************************************************)
(* *)
(* lablgtksourceview, OCaml binding for the GtkSourceView text widget *)
(* *)
(* Copyright (C) 2005 Stefano Zacchiroli <zack@cs.unibo.it> *)
(* Copyright (C) 2006 Stefano Zacchiroli <zack@cs.unibo.it> *)
(* Maxence Guesdon <maxence.guesdon@inria.fr> *)
(* *)
(* This library is free software; you can redistribute it and/or modify *)
(* it under the terms of the GNU Lesser General Public License as *)
(* published by the Free Software Foundation; either version 2.1 of the *)
(* License, or (at your option) any later version. *)
(* *)
(* This library 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 *)
(* Lesser General Public License for more details. *)
(* *)
(* You should have received a copy of the GNU Lesser General Public *)
(* License along with this library; if not, write to the Free Software *)
(* Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 *)
(* USA *)
(* *)
(*****************************************************************************)
package "sourceView3"
(* Not in gtksourceview 3.0
type source_search_flag = "GTK_SOURCE_SEARCH_"
[ `VISIBLE_ONLY | `TEXT_ONLY | `CASE_INSENSITIVE ]
*)
type source_smart_home_end_type = "GTK_SOURCE_SMART_HOME_END_"
[ `DISABLED| `BEFORE| `AFTER| `ALWAYS ]
(* Only NBSP is supported *)
type source_draw_spaces_flags = "GTK_SOURCE_DRAW_SPACES_"
[ `SPACE | `TAB | `NEWLINE | `NBSP | `LEADING | `TEXT | `TRAILING ]
type source_completion_activation_flags = "GTK_SOURCE_COMPLETION_ACTIVATION_"
[ `INTERACTIVE | `USER_REQUESTED ]
|
