69 lines
3.7 KiB
Diff
69 lines
3.7 KiB
Diff
From 4f70df82ff3800c96fcf927f499e3273cc989c88 Mon Sep 17 00:00:00 2001
|
|
From: Yanko Kaneti <yaneti@declera.com>
|
|
Date: Tue, 18 Sep 2018 16:26:52 +0300
|
|
Subject: [PATCH] timer: Set width-chars=2 property on the spinbuttons
|
|
|
|
Set width-chars to help gtk pre-allocate the spin buttons
|
|
drawing area regardless of font
|
|
|
|
Fixes https://bugzilla.redhat.com/show_bug.cgi?id=1630248
|
|
---
|
|
data/ui/timer.ui | 6 ++++++
|
|
1 file changed, 6 insertions(+)
|
|
|
|
diff --git a/data/ui/timer.ui b/data/ui/timer.ui
|
|
index 40ff931..7c37afe 100644
|
|
--- a/data/ui/timer.ui
|
|
+++ b/data/ui/timer.ui
|
|
@@ -67,6 +67,7 @@
|
|
<property name="orientation">vertical</property>
|
|
<property name="adjustment">adjustment_hours</property>
|
|
<property name="numeric">True</property>
|
|
+ <property name="width_chars">2</property>
|
|
<property name="wrap">True</property>
|
|
<signal name="output" handler="show_leading_zeros" swapped="no"/>
|
|
<signal name="changed" handler="update_start_button" swapped="no"/>
|
|
@@ -109,6 +110,7 @@
|
|
<property name="orientation">vertical</property>
|
|
<property name="adjustment">adjustment_minutes</property>
|
|
<property name="numeric">True</property>
|
|
+ <property name="width_chars">2</property>
|
|
<property name="wrap">True</property>
|
|
<signal name="output" handler="show_leading_zeros" swapped="no"/>
|
|
<signal name="changed" handler="update_start_button" swapped="no"/>
|
|
@@ -152,6 +154,7 @@
|
|
<property name="orientation">vertical</property>
|
|
<property name="adjustment">adjustment_seconds</property>
|
|
<property name="numeric">True</property>
|
|
+ <property name="width_chars">2</property>
|
|
<property name="wrap">True</property>
|
|
<signal name="output" handler="show_leading_zeros" swapped="no"/>
|
|
<signal name="changed" handler="update_start_button" swapped="no"/>
|
|
@@ -263,6 +266,7 @@
|
|
<property name="orientation">vertical</property>
|
|
<property name="adjustment">adjustment_hours</property>
|
|
<property name="numeric">True</property>
|
|
+ <property name="width_chars">2</property>
|
|
<property name="wrap">True</property>
|
|
<signal name="output" handler="show_leading_zeros" swapped="no"/>
|
|
<signal name="changed" handler="update_start_button" swapped="no"/>
|
|
@@ -306,6 +310,7 @@
|
|
<property name="orientation">vertical</property>
|
|
<property name="adjustment">adjustment_minutes</property>
|
|
<property name="numeric">True</property>
|
|
+ <property name="width_chars">2</property>
|
|
<property name="wrap">True</property>
|
|
<signal name="output" handler="show_leading_zeros" swapped="no"/>
|
|
<signal name="changed" handler="update_start_button" swapped="no"/>
|
|
@@ -349,6 +354,7 @@
|
|
<property name="orientation">vertical</property>
|
|
<property name="adjustment">adjustment_seconds</property>
|
|
<property name="numeric">True</property>
|
|
+ <property name="width_chars">2</property>
|
|
<property name="wrap">True</property>
|
|
<signal name="output" handler="show_leading_zeros" swapped="no"/>
|
|
<signal name="changed" handler="update_start_button" swapped="no"/>
|
|
--
|
|
2.19.0
|
|
|