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