Web   ·   Wiki   ·   Activities   ·   Blog   ·   Lists   ·   Chat   ·   Meeting   ·   Bugs   ·   Git   ·   Translate   ·   Archive   ·   People   ·   Donate
summaryrefslogtreecommitdiffstats
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
parent8b326fda61a639f01b70f9a5018dec53539fc906 (diff)
Sync gtk theme values and style.py. Add a comment at the top
of style.py about the reference zoom value.
-rw-r--r--data/gtkrc.em2
-rw-r--r--sugar/graphics/style.py32
2 files changed, 22 insertions, 12 deletions
diff --git a/data/gtkrc.em b/data/gtkrc.em
index eac1008..a19b519 100644
--- a/data/gtkrc.em
+++ b/data/gtkrc.em
@@ -1,7 +1,7 @@
@{
if theme == 'sugar':
font_name = 'Sans Serif 10'
- icon_sizes = 'gtk-large-toolbar=32,32'
+ icon_sizes = 'gtk-large-toolbar=40,40'
else:
font_name = 'Sans Serif 7'
icon_sizes = 'gtk-large-toolbar=55,55'
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()