Module Gtksv_utils

module Gtksv_utils: sig .. end
Using the same sourceview preferences through all applications which use the LablGtkSourceView2 library.

Use the source_language_manager and source_style_scheme_manager below to get the languages to use in your code views.
Author(s): Maxence Guesdon
Version: 1.0
Gtksv_utils



Languages


val source_language_manager : GSourceView2.source_language_manager
val sort_languages_by_name : GSourceView2.source_language list -> GSourceView2.source_language list
Sort the given list of languages by name.
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_manager
val 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.

Styles


val source_style_scheme_manager : GSourceView2.source_style_scheme_manager
This source style scheme manager has an extended search path to look for styles in the user's ~/.mlgtksourceview2 directory first.
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
Store the name of the given style scheme in the user's personal files.
val read_style_scheme_selection : ?manager:GSourceView2.source_style_scheme_manager ->
unit -> GSourceView2.source_style_scheme option
Read the name of the selected style scheme from the user's personal files.
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
Return the currently selected style scheme, if any.
val set_source_style_scheme : GSourceView2.source_style_scheme option -> unit
Set the currently selected style scheme, if any.
val register_source_buffer : GSourceView2.source_buffer -> unit
Register a source buffer so that each time the scheme returned by 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
Unregister the given source buffer.
val apply_source_style_scheme_to_registered_buffers : GSourceView2.source_style_scheme option -> unit
Apply the given style scheme to the registered buffers.

Sourceview props


type source_view_props 
val store_sourceview_props : source_view_props -> unit
Store the given source view properties in the user's personal files.
val read_sourceview_props : unit -> source_view_props
Read the source view properties from the user's personal files. If there is no properties file, default properties are returned.
val register_source_view : GSourceView2.source_view -> unit
Register a source view so that each time the function 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
Apply the given source view properties to the given source view.
val apply_sourceview_props_to_registered : source_view_props -> unit
Apply the given source view properties to the registered views.

Choosing style scheme


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
This box can be used to make the user set the source style scheme.
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
Make the user set his source style scheme. Then 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".

Setting sourceview props


class sourceview_props_box : (source_view_props -> unit) -> object .. end
This box can be used to make the user set source view properties.
val edit_sourceview_props : ?modal:bool ->
?preview:(source_view_props -> unit) -> unit -> unit
Make the user set his source view properties. Then 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".