diff options
| author | Greg Carlin <gregcarlin@users.noreply.github.com> | 2019-02-23 03:27:46 -0500 |
|---|---|---|
| committer | PeterN <peter@fuzzle.org> | 2019-02-23 08:27:46 +0000 |
| commit | 00d28a500d9b2c32877871e0d2b917c8b28a82a6 (patch) | |
| tree | 4833e57b77c01a0dfa327e546831319336c4cd13 /src/widgets/dock_widget.h | |
| parent | 56a6d7aec88b170eaf0dd57e14f5fffc24d3b1af (diff) | |
| download | openttd-00d28a500d9b2c32877871e0d2b917c8b28a82a6.tar.xz | |
Feature: Add option to adjust font size separately from GUI size. (#7003)
Adds an option in the "Game Options" next to "Interface Size" called "Font Size". Available options are normal, double, and quad.
Diffstat (limited to 'src/widgets/dock_widget.h')
0 files changed, 0 insertions, 0 deletions