diff options
author | Dirk Hohndel <dirk@hohndel.org> | 2014-08-27 06:00:10 -0700 |
---|---|---|
committer | Dirk Hohndel <dirk@hohndel.org> | 2014-08-27 15:45:43 -0700 |
commit | 9aca3096119a35fe3ae7dff4a8ef55f4dac5d7ef (patch) | |
tree | 131ed2bc49b192774b0a5940d38978f1371abe27 /worldmap-options.h | |
parent | 113ccc18cd566a424beb8fc2b01acc213ee4a8bd (diff) | |
download | subsurface-9aca3096119a35fe3ae7dff4a8ef55f4dac5d7ef.tar.gz |
Default font: more fine tuning
In order to get rid of the old default font on Windows (Calibri) we are
going to near ridiculous length. The reason for this is that we in the
past always saved the default font in the settings (how stupid was that!)
and so now even with a new default font in place, since there is an
explicit font in the settings we take that instead of the default.
Instead of requiring our existing users to use a registry cleaner to get
the correct default font on Windows 7 and later (the VAST majority of our
Windows users at this stage), we simply explicitly ignore that old default
font.
There is one very nasty side effect. A user cannot set Calibri as their
font of choice on Windows 7 or later (because we always force them back
onto Segoe). Given how much nicer Segoe looks I think this is an
acceptable flaw - let's hope this doesn't come back to bite me in the
future.
At the same time this changes the default font size handling. We try to
get the default font size of the OS so the app looks "right". This seems
to not give me the expected result on Linux with KDE, but maybe I'm doing
it wrong? Looks good when testing on Windows.
See #712
Signed-off-by: Dirk Hohndel <dirk@hohndel.org>
Diffstat (limited to 'worldmap-options.h')
0 files changed, 0 insertions, 0 deletions