type=“border”
layout
elementsreplace
This is equivalent to invoking the
x::w::borderlayoutmanager's
replace() method:
<!-- ... --> <replace>application-options-contents</replace> <!-- ... --> <factory type="factory" id="application-option-contents"> <container> <name>options</name> <type>grid</type> </container> </factory>
This calls the
x::w::borderlayoutmanager's
replace() method.
replace gives the
id of a
type=“factory”
factory that
contains a single
elements or a
containers
that creates a new
theme widget or container.
update_border,
update_borders
This is equivalent to calling the
x::w::borderlayoutmanager's
update_border() and
update_borders() methods:
<update_border>double-dashed</update_border> <update_borders> <left_border>double-dashed</left_border> <right_border>double-dashed</right_border> <top_border>single-dashed</top_border> <bottom_border>single-dashed</bottom_border> </update_borders>
These elements reference other
borders
in the theme file, defining the appearance of the corresponding borders.
update_title
This is equivalent to calling the
x::w::borderlayoutmanager's
update_title() method:
<update_title type='theme_text'>Dolor Sit Amet</update_title>