Class Gtksv_utils.sourceview_props_box


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