Fix Retina font scaling, bis

2016-07-12 19:59:46 +02:00 · 2016-07-12 19:59:46 +02:00 · 3c8eac3e03
parent 3c70f8d447
commit 3c8eac3e03
1 changed files with 1 additions and 1 deletions
--- a/config.ml
+++ b/config.ml
@ -544,7 +544,7 @@ let defconf =
  ; columns        = Csingle [||]
  ; beyecolumns    = None
  ; updatecurs     = false
-  ; hfsize         = 12
+  ; hfsize         = 12 * Wsi.fontsizefactor ()
  ; pgscale        = 1.0
  ; usepbo         = false
  ; wheelbypage    = false