Rinma
/
Tough_Crowd
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Fix Preference window.

This commit is contained in:
Romain Failliot 2016-07-04 22:53:53 -04:00
parent f5f8320da0
commit 5152459838
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/usr/bin/diffuse
View File

@ -1066,7 +1066,7 @@ class Preferences:
button = FontButton() button = FontButton()
button.set_font_name(self.string_prefs[tpl[1]]) button.set_font_name(self.string_prefs[tpl[1]])
else: else:
button = gtk.SpinButton(gtk.Adjustment(self.int_prefs[tpl[1]], tpl[4], tpl[5], 1), 0) button = gtk.SpinButton.new(gtk.Adjustment(self.int_prefs[tpl[1]], tpl[4], tpl[5], 1), 1.0, 0)
widgets[tpl[1]] = button widgets[tpl[1]] = button
entry.pack_start(button, False, False, 0) entry.pack_start(button, False, False, 0)
button.show() button.show()