Class Gtksv_utils.multi_lang_style_box

class multi_lang_style_box : unit -> object .. end

This box can be used to make the user set the styles of the tags of the available languages. Use the save and restore methods to save or restore the styles.

method box : GObj.widget

method restore : unit

method save : unit