diff options
| author | Wade Brainerd <wadetb@gmail.com> | 2009-01-09 02:46:42 (GMT) |
|---|---|---|
| committer | Wade Brainerd <wadetb@gmail.com> | 2009-01-09 02:46:42 (GMT) |
| commit | c96c23528476bcd7d3194c6174c1ac8baae5d869 (patch) | |
| tree | ac2651a40081d23d6f9cf93e184e56c7dfa85f5a /keyboard.py | |
| parent | 40189fa93e5dcd67abb37a26e0621a817b60a122 (diff) | |
Make key images a little bigger.
Tweak font size.
Diffstat (limited to 'keyboard.py')
| -rw-r--r-- | keyboard.py | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/keyboard.py b/keyboard.py index e7537b1..b30c18d 100644 --- a/keyboard.py +++ b/keyboard.py @@ -620,15 +620,16 @@ class KeyboardWidget(KeyboardData, gtk.DrawingArea): self.draw_hands = enable self.queue_draw() - def get_key_pixbuf(self, key, state=0, group=0): - w = key['key-width'] - h = key['key-height'] + def get_key_pixbuf(self, key, state=0, group=0, scale=1): + w = key['key-width'] * scale + h = key['key-height'] * scale pixmap = gtk.gdk.Pixmap(self.root_window.window, w, h) cr = pixmap.cairo_create() + cr.scale(scale, scale) cr.translate(-key['key-x'], -key['key-y']) - + old_state, old_group = self.active_state, self.active_group self.active_state, self.active_group = state, group |