diff options
| author | Wade Brainerd <wadetb@gmail.com> | 2009-03-09 03:30:12 (GMT) |
|---|---|---|
| committer | Wade Brainerd <wadetb@gmail.com> | 2009-03-09 03:30:12 (GMT) |
| commit | c2e093dbb337428d7701960e2ed007876aba1d21 (patch) | |
| tree | b07450df7933ad30674e8c9f60e9ad368813567f /mainscreen.py | |
| parent | a2b70d2c0baaf600d05b0c58d59942c7b5696cfd (diff) | |
Add support for custom key map files. Add key builder.
Diffstat (limited to 'mainscreen.py')
| -rw-r--r-- | mainscreen.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/mainscreen.py b/mainscreen.py index c459ac4..1646b00 100644 --- a/mainscreen.py +++ b/mainscreen.py @@ -91,7 +91,7 @@ class MainScreen(gtk.VBox): # Load all the keyboard images. width = int(gtk.gdk.screen_width()) - height = int(gtk.gdk.screen_height()*0.4) + height = int(gtk.gdk.screen_height()*0.3) self.keyboard_images = keyboard.KeyboardImages(width, height) self.keyboard_images.load_images() |