diff options
| author | Marco Pesenti Gritti <marco@localhost.localdomain> | 2007-05-11 10:36:07 (GMT) |
|---|---|---|
| committer | Marco Pesenti Gritti <marco@localhost.localdomain> | 2007-05-11 10:36:07 (GMT) |
| commit | f0e5523cd0ecec1330f3c6360d721b7449ddbaaa (patch) | |
| tree | 36c190ef237339f2f72850c4d74589de68d23e91 /sugar | |
| parent | 669c4259dc8a5628121f147e01b200d4be672c13 (diff) | |
gtk thinks the xo dpi is 200.0
Diffstat (limited to 'sugar')
| -rw-r--r-- | sugar/graphics/units.py | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/sugar/graphics/units.py b/sugar/graphics/units.py index 0e415e2..47aaf1b 100644 --- a/sugar/graphics/units.py +++ b/sugar/graphics/units.py @@ -61,19 +61,20 @@ units to device units. import gtk +_XO_DPI = 200.0 _MAX_ZOOM_FACTOR = 2.0 _ZOOM_CONSTANT = 650.0 def _compute_zoom_factor(): screen_width = gtk.gdk.screen_width() - if _screen_dpi == 201.0 and screen_width == 1200: + if _screen_dpi == _XO_DPI and screen_width == 1200: return 1.0 else: return min(_MAX_ZOOM_FACTOR, screen_width / _ZOOM_CONSTANT) _gtk_xft_dpi = gtk.settings_get_default().get_property('gtk-xft-dpi') _screen_dpi = float(_gtk_xft_dpi / 1024) -_dpi_factor = _screen_dpi / 201.0 +_dpi_factor = _screen_dpi / _XO_DPI _zoom_factor = _compute_zoom_factor() STANDARD_ICON_SCALE = 1.0 * _dpi_factor * _zoom_factor |