diff options
| author | Wade Brainerd <wadetb@gmail.com> | 2009-02-26 03:52:23 (GMT) |
|---|---|---|
| committer | Wade Brainerd <wadetb@gmail.com> | 2009-02-26 03:52:23 (GMT) |
| commit | c947937c3bb0a2cb8678ef175600954f818b42ff (patch) | |
| tree | 8c55cdc1c0eacc5ab4efed550a4c06c2d3bb2ce2 /titlescene.py | |
| parent | 9c08c5d74316fcee993c62c9cf0169179669b6bd (diff) | |
Trap group changes in keyboard.
Diffstat (limited to 'titlescene.py')
| -rw-r--r-- | titlescene.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/titlescene.py b/titlescene.py index 297f633..ea3dd7d 100644 --- a/titlescene.py +++ b/titlescene.py @@ -40,7 +40,7 @@ class TitleScene(gtk.DrawingArea): height_ratio = float(gtk.gdk.screen_height()*TitleScene.BACKGROUND_HEIGHT_RATIO) / pbuf.get_height() ratio = min(width_ratio, height_ratio) - self.backgroundpixbuf = pbuf.scale_simple(pbuf.get_width()*ratio, pbuf.get_height()*ratio, gtk.gdk.INTERP_BILINEAR) + self.backgroundpixbuf = pbuf.scale_simple(int(pbuf.get_width()*ratio), int(pbuf.get_height()*ratio), gtk.gdk.INTERP_BILINEAR) self.set_size_request(self.backgroundpixbuf.get_width(), self.backgroundpixbuf.get_height()) |