From: dforsi <df...@us...> - 2012-03-27 10:11:11
|
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> |