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',