Set default hints font in pt and not px
This commit is contained in:
parent
7b42e38dae
commit
34042522f1
@ -2084,7 +2084,7 @@ Font used for the hints.
|
||||
|
||||
Type: <<types,Font>>
|
||||
|
||||
Default: +pass:[bold 13px monospace]+
|
||||
Default: +pass:[bold 10pt monospace]+
|
||||
|
||||
[[fonts.keyhint]]
|
||||
=== fonts.keyhint
|
||||
|
@ -1713,7 +1713,7 @@ fonts.downloads:
|
||||
desc: Font used for the downloadbar.
|
||||
|
||||
fonts.hints:
|
||||
default: bold 13px monospace
|
||||
default: bold 10pt monospace
|
||||
type: Font
|
||||
desc: Font used for the hints.
|
||||
|
||||
|
Loading…
Reference in New Issue
Block a user