class sourceview_props_box : (source_view_props -> unit) ->
object
.. end
This box can be used to make the user set source view properties.
Use the Gtksv_utils.read_sourceview_props
and Gtksv_utils.store_sourceview_props
functions
to restore or save the properties. The function in parameter is used
to apply the properties when a change occurs. For example, you can
given the Gtksv_utils.apply_sourceview_props_to_registered
function to update
your registered source views when the user changes a property.
val mutable props : source_view_props option
method box : GObj.widget
method props : source_view_props option
method set_props : source_view_props option -> unit