module Gtksv_utils:Using the same sourceview preferences through all applications which use the LablGtkSourceView2 library.sig
..end
Use the source_language_manager
and source_style_scheme_manager
below to get the languages to use in your code views.
val source_language_manager : GSourceView2.source_language_manager
val sort_languages_by_name : GSourceView2.source_language list -> GSourceView2.source_language list
val available_source_languages : ?manager:GSourceView2.source_language_manager ->
unit -> GSourceView2.source_language list
available_source_languages ()
returns the list of languages known by the
language_manager.manager
: can be given to use an alternative language_managerval source_language_by_name : ?manager:GSourceView2.source_language_manager ->
string -> GSourceView2.source_language option
source_language_by_name ?manager name
returns the language with
the given name, or None
if no such language was found.val source_style_scheme_manager : GSourceView2.source_style_scheme_manager
val available_source_style_schemes : ?manager:GSourceView2.source_style_scheme_manager ->
unit -> GSourceView2.source_style_scheme list
val source_style_scheme_by_name : ?manager:GSourceView2.source_style_scheme_manager ->
string -> GSourceView2.source_style_scheme option
source_style_scheme_by_name ?manager name
returns the style scheme with
the given name, or None
if no such style scheme was found.val store_style_scheme_selection : GSourceView2.source_style_scheme option -> unit
val read_style_scheme_selection : ?manager:GSourceView2.source_style_scheme_manager ->
unit -> GSourceView2.source_style_scheme option
manager
: can specify the style scheme manager to use instead of
Gtksv_utils.source_style_scheme_manager
.val source_style_scheme : unit -> GSourceView2.source_style_scheme option
val set_source_style_scheme : GSourceView2.source_style_scheme option -> unit
val register_source_buffer : GSourceView2.source_buffer -> unit
Gtksv_utils.source_style_scheme
changes, the new scheme is set in
the buffer. It is also set when registering the buffer.val unregister_source_buffer : GSourceView2.source_buffer -> unit
val apply_source_style_scheme_to_registered_buffers : GSourceView2.source_style_scheme option -> unit
type
source_view_props
val store_sourceview_props : source_view_props -> unit
val read_sourceview_props : unit -> source_view_props
val register_source_view : GSourceView2.source_view -> unit
Gtksv_utils.read_sourceview_props
is called, the properties read are applied to every registered view.
The sourceview is automatically unregistered when it is destroyed.val apply_sourceview_props : GSourceView2.source_view -> source_view_props -> unit
val apply_sourceview_props_to_registered : source_view_props -> unit
class source_style_scheme_box :?manager:GSourceView2.source_style_scheme_manager -> ?current:GSourceView2.source_style_scheme option -> ?preview:GSourceView2.source_style_scheme option -> unit -> unit ->
object
..end
val edit_source_style_scheme : ?modal:bool ->
?manager:GSourceView2.source_style_scheme_manager ->
?current:GSourceView2.source_style_scheme option ->
?preview:(GSourceView2.source_style_scheme option -> unit) -> unit -> unit
Gtksv_utils.store_style_scheme_selection
is used to save the changes or
Gtksv_utils.read_style_scheme_selection
is used to restore the original values.preview
: is the function called to apply the shcheme when
the user makes a change or when he closes the window with "Ok".class sourceview_props_box :(source_view_props -> unit) ->
object
..end
val edit_sourceview_props : ?modal:bool ->
?preview:(source_view_props -> unit) -> unit -> unit
Gtksv_utils.store_sourceview_props
is used to save the changes or
Gtksv_utils.read_sourceview_props
is used to restore the original values.preview
: is the function called to apply the properties when
the user makes a change or when he closes the window with "Ok".