diff options
author | Marco Pesenti Gritti <mpg@redhat.com> | 2007-02-28 20:04:26 (GMT) |
---|---|---|
committer | Marco Pesenti Gritti <mpg@redhat.com> | 2007-02-28 20:04:26 (GMT) |
commit | 6c16653173a780ff3234d6ccd2f5f2dd83c61da1 (patch) | |
tree | dfc5e9c3e6ce9ddfe11b223962eaff5b823a8b9b /sugar/graphics/units.py | |
parent | 1b869a04f8571fd2bb501d80667b5269db300b56 (diff) |
Convert points correctly to device. Tweak zoom factor logic a bit
Diffstat (limited to 'sugar/graphics/units.py')
-rw-r--r-- | sugar/graphics/units.py | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/sugar/graphics/units.py b/sugar/graphics/units.py index ec3958e..2ec3dd5 100644 --- a/sugar/graphics/units.py +++ b/sugar/graphics/units.py @@ -64,7 +64,7 @@ import gtk import _sugar _MAX_ZOOM_FACTOR = 1.5 -_ZOOM_CONSTANT = 600.0 +_ZOOM_CONSTANT = 800.0 def _compute_zoom_factor(): screen_width = gtk.gdk.screen_width() @@ -83,8 +83,11 @@ MEDIUM_ICON_SCALE = 1.5 * _dpi_factor * _zoom_factor LARGE_ICON_SCALE = 2.0 * _dpi_factor * _zoom_factor XLARGE_ICON_SCALE = 3.0 * _dpi_factor * _zoom_factor +def points_to_device(points): + return int(points * _zoom_factor) + def points_to_pixels(points): - return int(points * _screen_dpi * 72.0 * _zoom_factor) + return int(points * _screen_dpi / 72.0 * _zoom_factor) def grid_to_pixels(units): return int(units * 75.0 * _dpi_factor * _zoom_factor) |