Fix font-size-* in settings

This commit is contained in:
Florian Bruhin 2014-05-11 22:03:00 +02:00
parent 3deeaede8a
commit 381d36263c
2 changed files with 4 additions and 6 deletions

2
TODO
View File

@ -87,8 +87,6 @@ Bugs
- Command history seems to be broken
- font-size-* not in websettings
Style
=====

View File

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