Marco Pesenti Gritti
|
d1a29ecf32
|
Set font to 7 points. Tweak zoom levels.
|
2007-03-01 21:38:38 +01:00 |
|
Marco Pesenti Gritti
|
6c16653173
|
Convert points correctly to device. Tweak zoom factor logic a bit
|
2007-02-28 21:04:26 +01:00 |
|
Tomeu Vizoso
|
0f1adfe1de
|
Specify font size in pixels, not in points.
|
2007-02-28 14:47:35 +01:00 |
|
Tomeu Vizoso
|
6b31f57257
|
Some control fixes.
|
2007-02-26 12:40:14 +01:00 |
|
Marco Pesenti Gritti
|
2e8bd12f8b
|
Rework color and fonts to be more pytonish. Add units conversions.
|
2007-02-15 18:48:58 +01:00 |
|