diff options
| author | Bjørn Lindeijer <bjorn@lindeijer.nl> | 2009-01-27 10:02:51 +0100 |
|---|---|---|
| committer | Bjørn Lindeijer <bjorn@lindeijer.nl> | 2009-01-27 10:02:51 +0100 |
| commit | e9c93aaaa463f288ef589589265bfffd90ecc96d (patch) | |
| tree | e5ec9bbd49bf50e1d69c41d655fd2dcf88274db1 /docs | |
| parent | 566b50776533b46fccabcf9d197021ad20268d11 (diff) | |
| download | mana-e9c93aaaa463f288ef589589265bfffd90ecc96d.tar.gz mana-e9c93aaaa463f288ef589589265bfffd90ecc96d.tar.bz2 mana-e9c93aaaa463f288ef589589265bfffd90ecc96d.tar.xz mana-e9c93aaaa463f288ef589589265bfffd90ecc96d.zip | |
Made font size configurable in config file
Just change the value of 'fontSize'. This should be made configurable in
the GUI though, and the GUI should then automatically adapt to the new
font size.
Diffstat (limited to 'docs')
0 files changed, 0 insertions, 0 deletions