commit bbd10624cc093062d20ab3eb5c16c9afd287eabe
Author: Daniele Forsi <df...@sr...>
Date: Tue Mar 27 12:00:01 2012 +0200
Add the border to the spin button
So it looks like all other spin buttons.
plugins/core_preferences/core_prefs.xml | 1 -
1 files changed, 0 insertions(+), 1 deletions(-)
---
diff --git a/plugins/core_preferences/core_prefs.xml b/plugins/core_preferences/core_prefs.xml
index 64fc6e7..43a0984 100644
--- a/plugins/core_preferences/core_prefs.xml
+++ b/plugins/core_preferences/core_prefs.xml
@@ -1612,7 +1612,6 @@ will be imposed on the repository.</property>
<object class="GtkSpinButton" id="save_threshold_spin_button">
<property name="visible">True</property>
<property name="can_focus">True</property>
- <property name="has_frame">False</property>
<property name="invisible_char">●</property>
<property name="adjustment">adjustment6</property>
<property name="climb_rate">1</property>
|
