2007-02-15 18:48:58 +01:00
|
|
|
import gtk
|
|
|
|
|
|
|
|
import _sugar
|
|
|
|
|
|
|
|
def points_to_pixels(points):
|
2007-02-15 18:55:32 +01:00
|
|
|
screen_factor = gtk.gdk.screen_width() / 1200.0
|
|
|
|
return points * _sugar.get_screen_dpi() / 72.0 * screen_factor
|
2007-02-15 18:48:58 +01:00
|
|
|
|
|
|
|
def grid_to_pixels(units):
|
|
|
|
return units * gtk.gdk.screen_width() / 16
|
|
|
|
|
|
|
|
def microgrid_to_pixels(units):
|
|
|
|
return units * gtk.gdk.screen_width() / 80
|