diff options
| author | Marco Pesenti Gritti <mpg@redhat.com> | 2007-03-01 20:38:38 (GMT) |
|---|---|---|
| committer | Marco Pesenti Gritti <mpg@redhat.com> | 2007-03-01 20:38:38 (GMT) |
| commit | d1a29ecf32f2dfada678aa175d099c43e386c0e8 (patch) | |
| tree | a26caca49db68f5381531e4408ceaff3702dea23 /tools | |
| parent | 47b8ad24968270c988d16e8186e4b496cc736259 (diff) | |
Set font to 7 points. Tweak zoom levels.
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions