Web   ·   Wiki   ·   Activities   ·   Blog   ·   Lists   ·   Chat   ·   Meeting   ·   Bugs   ·   Git   ·   Translate   ·   Archive   ·   People   ·   Donate
summaryrefslogtreecommitdiffstats
path: root/sugar
diff options
context:
space:
mode:
authorMarco Pesenti Gritti <mpg@redhat.com>2007-08-29 08:36:31 (GMT)
committer Marco Pesenti Gritti <mpg@redhat.com>2007-08-29 08:36:31 (GMT)
commite25847c37506f9190a4364443d3a827b8d51acee (patch)
treea464501f3b9b98c106362cdf19fae4be29f1dd64 /sugar
parent8b326fda61a639f01b70f9a5018dec53539fc906 (diff)
Sync gtk theme values and style.py. Add a comment at the top
of style.py about the reference zoom value.
Diffstat (limited to 'sugar')
-rw-r--r--sugar/graphics/style.py32
1 files changed, 21 insertions, 11 deletions
diff --git a/sugar/graphics/style.py b/sugar/graphics/style.py
index d9d7589..c9e4f68 100644
--- a/sugar/graphics/style.py
+++ b/sugar/graphics/style.py
@@ -15,24 +15,36 @@
# Free Software Foundation, Inc., 59 Temple Place - Suite 330,
# Boston, MA 02111-1307, USA.
+"""
+All the constants are expressed in pixels. They are defined for the XO screen
+and are usually adapted to different resolution by applying a zoom factor. The
+factor for traditional 96 dpi screen is currently 0.72 which is the inverse
+of the one we are using to adapt web pages to the XO screen. It should be
+considered a reference value rather then a scale constant which has to be
+automatically applied and always respected.
+"""
+
import os
import gtk
import pango
+_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 os.environ.has_key('SUGAR_XO_STYLE'):
- if os.environ['SUGAR_XO_STYLE'] == 'yes':
- return 1.0
+ 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
- return gtk.gdk.screen_width() / 1200.0
-
-def zoom(units):
- return int(ZOOM_FACTOR * units)
+ return 1.0
def _compute_font_height(font):
widget = gtk.Label('')
@@ -93,10 +105,8 @@ class Color(object):
else:
return self.get_html()
-_XO_DPI = 200.0
-
-_FOCUS_LINE_WIDTH = 2
-_TAB_CURVATURE = 1
+def zoom(units):
+ return int(ZOOM_FACTOR * units)
ZOOM_FACTOR = _compute_zoom_factor()