event-widget: force squared color boxes

On HiDPI displays, the color boxes of timed events appear distorted and not squared. Fix that by setting a fixed size, and changing the box alignment to always shrink to a squared state.
2018-05-01 10:24:48 -03:00
parent fd5e6daf13
commit 601076f6a4
1 changed files with 4 additions and 0 deletions
@@ -22,6 +22,10 @@
              <object class="GtkBox" id="color_box">
                <property name="visible">True</property>
                <property name="can_focus">False</property>
+                <property name="halign">center</property>
+                <property name="valign">center</property>
+                <property name="width-request">16</property>
+                <property name="height-request">16</property>
                <style>
                  <class name="icon-box" />
                </style>