module Gtksv_utils:Using the same syntax highlight through all applications which use the LablGtkSourceView library.sig
..end
Use the source_languages_manager
below to get the
languages to use in your code views.
The styles of the tags of each language are read from
the user's configuration file in ~/.mlgtksourceview/<language>
.
The other functions below can be used to make the user
edit the highlight attributes for each language.
val source_languages_manager : GSourceView.source_languages_manager
val store_lang_style : GSourceView.source_language -> unit
val read_lang_style : GSourceView.source_language -> 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 : GSourceView.source_view -> unit
Gtksv_utils.read_sourceview_props
is called, the properties read are applied to every registered view.val apply_sourceview_props : GSourceView.source_view -> source_view_props -> unit
val apply_sourceview_props_to_registered : source_view_props -> unit
class lang_style_box :unit ->
object
..end
val sort_languages_by_name : GSourceView.source_language list -> GSourceView.source_language list
val edit_lang_style : ?modal:bool -> GSourceView.source_language -> unit
Gtksv_utils.store_lang_style
is used to save the changes or
Gtksv_utils.read_lang_style
is used to restore the original values.class multi_lang_style_box :unit ->
object
..end
val edit_available_languages_styles : ?modal:bool -> unit -> unit
Gtksv_utils.store_lang_style
is used to save the changes or
Gtksv_utils.read_lang_style
is used to restore the original values, for each language.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".