Increase default hint size a bit.

See #871.
This commit is contained in:
Florian Bruhin 2015-08-19 06:40:43 +02:00
parent 07c6c40548
commit 45e7be4940

View File

@ -1069,7 +1069,7 @@ def data(readonly=False):
"Font used for the downloadbar."), "Font used for the downloadbar."),
('hints', ('hints',
SettingValue(typ.Font(), 'bold 12px Monospace'), SettingValue(typ.Font(), 'bold 13px Monospace'),
"Font used for the hints."), "Font used for the hints."),
('debug-console', ('debug-console',