diff options
| author | Johannes Hofmann <Johannes.Hofmann@gmx.de> | 2009-01-15 19:30:48 +0100 |
|---|---|---|
| committer | Johannes Hofmann <Johannes.Hofmann@gmx.de> | 2009-01-15 19:30:48 +0100 |
| commit | b7bd63f6ca2817facb1fa3722cca830f39098429 (patch) | |
| tree | 93e4f555d979bec51b299b44be297ecde6ccdbc4 /dw/types.cc | |
| parent | 0058f32eb536c7c286a6366da9e517e58dbe4a69 (diff) | |
use prefs.font_factor to scale base font
Diffstat (limited to 'dw/types.cc')
0 files changed, 0 insertions, 0 deletions