/usr/lib/ocaml/lablgtk2/gSourceView2.mli is in liblablgtksourceview2-ocaml-dev 2.14.2+dfsg-2build1.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
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 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127 128 129 130 131 132 133 134 135 136 137 138 139 140 141 142 143 144 145 146 147 148 149 150 151 152 153 154 155 156 157 158 159 160 161 162 163 164 165 166 167 168 169 170 171 172 173 174 175 176 177 178 179 180 181 182 183 184 185 186 187 188 189 190 191 192 193 194 195 196 197 198 199 200 201 202 203 204 205 206 207 208 209 210 211 212 213 214 215 216 217 218 219 220 221 222 223 224 225 226 227 228 229 230 231 232 233 234 235 236 237 238 239 240 241 242 243 244 245 246 247 248 249 250 251 252 253 254 255 256 257 258 259 260 261 262 263 264 265 266 | (**************************************************************************)
(* Lablgtk *)
(* *)
(* This program is free software; you can redistribute it *)
(* and/or modify it under the terms of the GNU Library General *)
(* Public License as published by the Free Software Foundation *)
(* version 2, with the exception described in file COPYING which *)
(* comes with the library. *)
(* *)
(* This program 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 Library General Public License for more details. *)
(* *)
(* You should have received a copy of the GNU Library General *)
(* Public License along with this program; if not, write to the *)
(* Free Software Foundation, Inc., 59 Temple Place, Suite 330, *)
(* Boston, MA 02111-1307 USA *)
(* *)
(* *)
(**************************************************************************)
(** {2 GtkSourceView interface} *)
open Gtk
open GText
(** {2 GtkSourceStyleScheme} *)
class source_style_scheme :
GtkSourceView2_types.source_style_scheme obj ->
object
method as_source_style_scheme :
GtkSourceView2_types.source_style_scheme obj
method name : string
method description : string
end
(** {2 GtkSourceStyleSchemeManager} *)
class source_style_scheme_manager :
GtkSourceView2_types.source_style_scheme_manager obj ->
object
method search_path: string list
method set_search_path: string list -> unit
method append_search_path: string -> unit
method prepend_search_path: string -> unit
method style_scheme_ids: string list
method style_scheme: string -> source_style_scheme option
method force_rescan: unit -> unit
end
val source_style_scheme_manager : default:bool -> source_style_scheme_manager
(** {2 GtkSourceLanguage} *)
class source_language:
GtkSourceView2_types.source_language obj ->
object
method as_source_language: GtkSourceView2_types.source_language obj
method misc: GObj.gobject_ops
method hidden: bool
method id: string
method name: string
method section: string
method metadata: string -> string option
method mime_types: string list
method globs: string list
method style_name: string -> string option
method style_ids: string list
end
(** {2 GtkSourceLanguageManager} *)
class source_language_manager:
GtkSourceView2_types.source_language_manager obj ->
object
method get_oid: int
method as_source_language_manager:
GtkSourceView2_types.source_language_manager obj
method set_search_path : string list -> unit
method search_path : string list
method language_ids : string list
method language : string -> source_language option
method guess_language:
?filename:string -> ?content_type:string -> unit -> source_language option
end
val source_language_manager : default:bool -> source_language_manager
(** {2 GtkSourceMark} *)
class source_mark: ((GtkSourceView2_types.source_mark obj) as 'a) ->
object
method as_source_mark : 'a
method coerce: GText.mark
method category: string option
method next: ?category:string -> unit -> source_mark option
method prev: ?category:string -> unit -> source_mark option
end
val source_mark : ?category:string -> unit -> source_mark
(** {2 GtkSourceBuffer} *)
class source_buffer_signals:
(GtkSourceView2_types.source_buffer as 'b) obj ->
object ('a)
inherit ['b] GText.buffer_signals_type
method changed : callback:(unit -> unit) -> GtkSignal.id
method highlight_updated:
callback:(Gtk.text_iter -> Gtk.text_iter -> unit) -> GtkSignal.id
method source_mark_updated: callback:(GtkSourceView2_types.source_mark obj -> unit) -> GtkSignal.id
end
and source_buffer: GtkSourceView2_types.source_buffer obj ->
object
inherit GText.buffer_skel
val obj: GtkSourceView2_types.source_buffer obj
method as_source_buffer: GtkSourceView2_types.source_buffer obj
method connect: source_buffer_signals
method misc: GObj.gobject_ops
method highlight_syntax: bool
method set_highlight_syntax: bool -> unit
method language: source_language option
method set_language: source_language option -> unit
method highlight_matching_brackets: bool
method set_highlight_matching_brackets: bool -> unit
method style_scheme: source_style_scheme option
method set_style_scheme: source_style_scheme option -> unit
method max_undo_levels: int
method set_max_undo_levels: int -> unit
method undo: unit -> unit
method redo: unit -> unit
method can_undo: bool
method can_redo: bool
method begin_not_undoable_action: unit -> unit
method end_not_undoable_action: unit -> unit
method create_source_mark: ?name:string -> ?category:string -> GText.iter
-> source_mark
method source_marks_at_line: ?category:string -> int
-> source_mark list
method source_marks_at_iter: ?category:string -> GText.iter
-> source_mark list
method remove_source_marks :
?category:string -> start:GText.iter -> stop:GText.iter -> unit -> unit
method forward_iter_to_source_mark: ?category:string -> GText.iter -> bool
method backward_iter_to_source_mark: ?category:string -> GText.iter -> bool
method ensure_highlight: start:GText.iter -> stop:GText.iter -> unit
end
val source_buffer:
?language:source_language ->
?style_scheme:source_style_scheme ->
?tag_table:GText.tag_table ->
?text:string ->
?highlight_matching_brackets:bool ->
?highlight_syntax:bool ->
?max_undo_levels:int ->
unit -> source_buffer
(** {2 GtkSourceView} *)
class source_view_signals:
([> GtkSourceView2_types.source_view ] as 'b) obj ->
object ('a)
inherit GText.view_signals
method redo: callback:(unit -> unit) -> GtkSignal.id
method undo: callback:(unit -> unit) -> GtkSignal.id
end
class source_view:
GtkSourceView2_types.source_view obj ->
object
inherit GText.view_skel
inherit OgtkSourceView2Props.source_view_props
val obj: GtkSourceView2_types.source_view obj
method connect: source_view_signals
method source_buffer: source_buffer
method set_show_line_numbers: bool -> unit
method show_line_numbers: bool
method set_highlight_current_line: bool -> unit
method highlight_current_line: bool
method set_tab_width: int -> unit
method tab_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_cursor_color: Gdk.color -> unit
method set_cursor_color_by_name: string -> unit
method draw_spaces:
SourceView2Enums.source_draw_spaces_flags list
method set_draw_spaces:
SourceView2Enums.source_draw_spaces_flags list -> unit
method get_mark_category_priority:
category:string -> int
method set_mark_category_priority:
category:string -> int -> unit
method get_mark_category_pixbuf:
category:string -> GdkPixbuf.pixbuf option
method set_mark_category_pixbuf:
category:string -> GdkPixbuf.pixbuf option -> unit
method get_mark_category_background:
category:string -> Gdk.color option
method set_mark_category_background:
category:string -> Gdk.color option -> unit
end
val source_view :
?source_buffer:source_buffer ->
?draw_spaces:SourceView2Enums.source_draw_spaces_flags list ->
?auto_indent:bool ->
?highlight_current_line:bool ->
?indent_on_tab:bool ->
?indent_width:int ->
?insert_spaces_instead_of_tabs:bool ->
?right_margin_position:int ->
?show_line_marks:bool ->
?show_line_numbers:bool ->
?show_right_margin:bool ->
?smart_home_end:SourceView2Enums.source_smart_home_end_type ->
?tab_width:int ->
?editable:bool ->
?cursor_visible:bool ->
?justification:GtkEnums.justification ->
?wrap_mode:GtkEnums.wrap_mode ->
?accepts_tab:bool ->
?border_width:int ->
?width:int ->
?height:int ->
?packing:(GObj.widget -> unit) -> ?show:bool -> unit -> source_view
(** {2 Misc} *)
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; .. > ->
string -> (GText.iter * GText.iter) option
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
|