From 381d36263cdd3bd1dc4d062be67a31deb386e05a Mon Sep 17 00:00:00 2001 From: Florian Bruhin Date: Sun, 11 May 2014 22:03:00 +0200 Subject: [PATCH] Fix font-size-* in settings --- TODO | 2 -- qutebrowser/config/configdata.py | 8 ++++---- 2 files changed, 4 insertions(+), 6 deletions(-) diff --git a/TODO b/TODO index 87b4e28d3..84c1064e0 100644 --- a/TODO +++ b/TODO @@ -87,8 +87,6 @@ Bugs - Command history seems to be broken -- font-size-* not in websettings - Style ===== diff --git a/qutebrowser/config/configdata.py b/qutebrowser/config/configdata.py index 047a9119c..30941f2e0 100644 --- a/qutebrowser/config/configdata.py +++ b/qutebrowser/config/configdata.py @@ -460,19 +460,19 @@ DATA = OrderedDict([ "Font family for fantasy fonts."), ('font-size-minimum', - SettingValue(types.String(none=True), ''), + SettingValue(types.Int(none=True), ''), "The hard minimum font size."), ('font-size-minimum-logical', - SettingValue(types.String(none=True), ''), + SettingValue(types.Int(none=True), ''), "The minimum logical font size that is applied when zooming out."), ('font-size-default', - SettingValue(types.String(none=True), ''), + SettingValue(types.Int(none=True), ''), "The default font size for regular text."), ('font-size-default-fixed', - SettingValue(types.String(none=True), ''), + SettingValue(types.Int(none=True), ''), "The default font size for fixed-pitch text."), ('maximum-pages-in-cache',