Class Gtksv_utils.lang_style_box

class lang_style_box : unit -> object .. end

This box can be used to make the user set the styles of the tags of a language. Use the Gtksv_utils.read_lang_style and Gtksv_utils.store_lang_style functions to restore or save the styles.

method box : GObj.widget

method lang : GSourceView.source_language option

method reset : unit

method set_lang : GSourceView.source_language option -> unit