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