class lang_style_box :This box can be used to make the user set the styles of the tags of a language. Use theunit ->
object
..end
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