package lablgtk3-extras

  1. Overview
  2. Docs

This box can be used to make the user set source view properties. Use the read_sourceview_props and 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 give the 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