diff options
Diffstat (limited to 'csndsugui.py')
| -rw-r--r-- | csndsugui.py | 21 |
1 files changed, 17 insertions, 4 deletions
diff --git a/csndsugui.py b/csndsugui.py index d7c72f5..d97e279 100644 --- a/csndsugui.py +++ b/csndsugui.py @@ -47,11 +47,23 @@ class BasicGUI: def scale_font(self, widget): font = widget.get_pango_context().get_font_description() - font_size = font.get_size() + +# The FONT DISPLAY in this activity can be resized (smaller or larger) +# by changing the value of "resize" below. "Resize" can be positive +# or negative, and is not limited to integers. A value of 1 equals a +# point in font size. + resize = 0 + + font_size = font.get_size() + (resize * 1024) width = gtk.gdk.screen_width() - mult = width * .0008 - if os.path.exists("/etc/fedora-release") and open("/etc/fedora-release").read().find("Strawberry")!= -1: - mult = width * .0013 + mult = width * .00076 + if os.path.exists("/etc/olpc-release") or os.path.exists("/etc/power/olpc-pm"): + mult = width * .00082 + elif os.path.exists("/etc/fedora-release"): + if open("/etc/fedora-release").read().find("Strawberry") != -1: + mult = width * .00132 + elif open("/etc/fedora-release").read().find("Blueberry") != -1: + mult = width * .00085 font.set_size(int(font_size * mult)) widget.modify_font(font) @@ -795,3 +807,4 @@ class CsoundGUI(BasicGUI): self.arglist = None self.replay = False self.stopcb = True + |