mirror of
https://gitlab.gnome.org/GNOME/gtk.git
synced 2024-11-06 16:50:11 +00:00
34e15566e3
From the css docs at http://www.w3.org/TR/CSS2/box.html: 8.5.1 Border width: 'border-top-width', 'border-right-width', 'border-bottom-width', 'border-left-width', and 'border-width' Computed value: absolute length; '0' if the border style is 'none' or 'hidden' So, if i specify border-style none and a border-width > 0 that should give the same result as border-width 0.
19 lines
659 B
XML
19 lines
659 B
XML
<?xml version="1.0" encoding="UTF-8"?>
|
|
<interface>
|
|
<!-- interface-requires gtk+ 3.0 -->
|
|
<object class="GtkWindow" id="window1">
|
|
<property name="can_focus">False</property>
|
|
<property name="type">popup</property>
|
|
<child>
|
|
<object class="GtkButton" id="button1">
|
|
<property name="visible">True</property>
|
|
<property name="can_focus">True</property>
|
|
<property name="receives_default">True</property>
|
|
<property name="use_action_appearance">False</property>
|
|
<property name="width_request">144</property>
|
|
<property name="height_request">144</property>
|
|
</object>
|
|
</child>
|
|
</object>
|
|
</interface>
|