sig
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 : Gtksv_utils.source_view_props -> unit
val read_sourceview_props : unit -> Gtksv_utils.source_view_props
val register_source_view : GSourceView.source_view -> unit
val apply_sourceview_props :
GSourceView.source_view -> Gtksv_utils.source_view_props -> unit
val apply_sourceview_props_to_registered :
Gtksv_utils.source_view_props -> unit
class lang_style_box :
unit ->
object
method box : GObj.widget
method lang : GSourceView.source_language option
method reset : unit
method set_lang : GSourceView.source_language option -> unit
end
val sort_languages_by_name :
GSourceView.source_language list -> GSourceView.source_language list
val edit_lang_style : ?modal:bool -> GSourceView.source_language -> unit
class multi_lang_style_box :
unit ->
object
method box : GObj.widget
method restore : unit
method save : unit
end
val edit_available_languages_styles : ?modal:bool -> unit -> unit
class sourceview_props_box :
(Gtksv_utils.source_view_props -> unit) ->
object
val mutable props : Gtksv_utils.source_view_props option
method box : GObj.widget
method props : Gtksv_utils.source_view_props option
method set_props : Gtksv_utils.source_view_props option -> unit
end
val edit_sourceview_props :
?modal:bool ->
?preview:(Gtksv_utils.source_view_props -> unit) -> unit -> unit
end