fix(ui): tweak button sizes

This commit is contained in:
Jeremy Attali 2019-12-26 18:24:21 -05:00
parent 9ab7cf57d2
commit 425f455ab7
2 changed files with 14 additions and 3 deletions

View File

@ -1,5 +1,15 @@
.drawing .text-button {
font-family: "FontAwesome 5 Free Solid";
padding: 4px;
}
.drawing .text-button radio,
.color-box .text-button radio {
padding: 0;
}
.color-box button {
padding: 6px 10px;
}
.color-box image {

View File

@ -56,8 +56,8 @@
<property name="image">edit-redo</property>
<property name="always_show_image">True</property>
<signal name="clicked" handler="redo_clicked_handler" swapped="no"/>
<accelerator key="z" signal="clicked" modifiers="GDK_SHIFT_MASK | GDK_CONTROL_MASK"/>
<accelerator key="y" signal="clicked" modifiers="GDK_CONTROL_MASK"/>
<accelerator key="z" signal="clicked" modifiers="GDK_SHIFT_MASK | GDK_CONTROL_MASK"/>
</object>
<packing>
<property name="expand">True</property>
@ -234,6 +234,7 @@
<property name="visible">True</property>
<property name="can_focus">False</property>
<property name="margin_bottom">15</property>
<property name="spacing">6</property>
<property name="homogeneous">True</property>
<child>
<object class="GtkRadioButton" id="brush">
@ -425,7 +426,7 @@
<object class="GtkBox">
<property name="visible">True</property>
<property name="can_focus">False</property>
<property name="margin_left">50</property>
<property name="margin_left">12</property>
<property name="spacing">5</property>
<child>
<object class="GtkRadioButton" id="color-button-custom">
@ -477,7 +478,7 @@
</object>
<packing>
<property name="expand">False</property>
<property name="fill">True</property>
<property name="fill">False</property>
<property name="position">2</property>
</packing>
</child>