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