class multi_lang_style_box :This box can be used to make the user set the styles of the tags of the available languages. Use theunit ->
object
..end
save
and
restore
methods to save or restore the styles.method box : GObj.widget
method restore : unit
method save : unit