diff options
author | Marco Pesenti Gritti <mpgritti@gmail.com> | 2008-10-03 00:15:48 (GMT) |
---|---|---|
committer | Marco Pesenti Gritti <mpgritti@gmail.com> | 2008-10-03 00:15:48 (GMT) |
commit | 5a51661edf0074fdd45feb6230da0f975a442476 (patch) | |
tree | 7e9f4fbca98a80fdb8244138ad594cc74170cd37 /src/sugar/graphics/style.py | |
parent | 0bb4a878536c93eab70d07e96a6449d396490c31 (diff) |
Respect SUGAR_SCALING
Diffstat (limited to 'src/sugar/graphics/style.py')
-rw-r--r-- | src/sugar/graphics/style.py | 14 |
1 files changed, 6 insertions, 8 deletions
diff --git a/src/sugar/graphics/style.py b/src/sugar/graphics/style.py index ce2abe8..b8875a6 100644 --- a/src/sugar/graphics/style.py +++ b/src/sugar/graphics/style.py @@ -34,15 +34,13 @@ _XO_DPI = 200.0 _FOCUS_LINE_WIDTH = 2 _TAB_CURVATURE = 1 -def _get_screen_dpi(): - xft_dpi = gtk.settings_get_default().get_property('gtk-xft-dpi') - return float(xft_dpi / 1024) - def _compute_zoom_factor(): - if _get_screen_dpi() == 96.0: - if not os.environ.has_key('SUGAR_XO_STYLE') or \ - not os.environ['SUGAR_XO_STYLE'] == 'yes': - return 0.72 + if os.environ.has_key('SUGAR_SCALING'): + try: + scaling = int(os.environ['SUGAR_SCALING']) + return scaling / 100.0 + except ValueError: + logging.error('Invalid SUGAR_SCALING.') return 1.0 |