sig
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
val source_language_by_name :
?manager:GSourceView2.source_language_manager ->
string -> GSourceView2.source_language option
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
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
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
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 : Gtksv_utils.source_view_props -> unit
val read_sourceview_props : unit -> Gtksv_utils.source_view_props
val register_source_view : GSourceView2.source_view -> unit
val apply_sourceview_props :
GSourceView2.source_view -> Gtksv_utils.source_view_props -> unit
val apply_sourceview_props_to_registered :
Gtksv_utils.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
method box : GObj.widget
method scheme : GSourceView2.source_style_scheme option
method set_scheme : GSourceView2.source_style_scheme option -> unit
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
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