diff options
| author | Marco Pesenti Gritti <marco@localhost.localdomain> | 2006-10-25 14:22:21 (GMT) |
|---|---|---|
| committer | Marco Pesenti Gritti <marco@localhost.localdomain> | 2006-10-25 14:22:21 (GMT) |
| commit | ec6272ff47626716fec6b8e3416a7ece2a105472 (patch) | |
| tree | b524cd19180256bbdc987621d33b1af5b190e473 /lib/src | |
| parent | b873bfe18d645dc8398b6584e4e3098ccebd13c4 (diff) | |
Change the font size unit to points, so that we actually
adapt to resolution. Default size are converted from mozilla
pixel based sizes.
Diffstat (limited to 'lib/src')
0 files changed, 0 insertions, 0 deletions