Mercurial > mamba

annotate mamba/widgets/toollist.py @ 267:1e8dca95c48a

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Hook up hot-keys in editor for jerith
author Neil Muller <drnlmuller@gmail.com>
date Thu, 15 Sep 2011 12:54:16 +0200
parents 74ae1645df6e
children ffec90bda89d
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
267
1e8dca95c48a Hook up hot-keys in editor for jerith
Neil Muller <drnlmuller@gmail.com>
parents: 265
diff changeset
1 from pygame.constants import KEYUP, K_1, K_PAGEDOWN, K_PAGEUP
1e8dca95c48a Hook up hot-keys in editor for jerith
Neil Muller <drnlmuller@gmail.com>
parents: 265
diff changeset
2
265
74ae1645df6e Move hackery into list widget
Neil Muller <drnlmuller@gmail.com>
parents:
diff changeset
3 from mamba.widgets.base import Container
74ae1645df6e Move hackery into list widget
Neil Muller <drnlmuller@gmail.com>
parents:
diff changeset
4 from mamba.widgets.text import TextButton
74ae1645df6e Move hackery into list widget
Neil Muller <drnlmuller@gmail.com>
parents:
diff changeset
5
74ae1645df6e Move hackery into list widget
Neil Muller <drnlmuller@gmail.com>
parents:
diff changeset
6
74ae1645df6e Move hackery into list widget
Neil Muller <drnlmuller@gmail.com>
parents:
diff changeset
7 class ToolListWidget(Container):
74ae1645df6e Move hackery into list widget
Neil Muller <drnlmuller@gmail.com>
parents:
diff changeset
8 """List of other widgets, with some paging trickery"""
74ae1645df6e Move hackery into list widget
Neil Muller <drnlmuller@gmail.com>
parents:
diff changeset
9
267
1e8dca95c48a Hook up hot-keys in editor for jerith
Neil Muller <drnlmuller@gmail.com>
parents: 265
diff changeset
10 def __init__(self, rect, widget_list, page_length, start_key=K_1,
1e8dca95c48a Hook up hot-keys in editor for jerith
Neil Muller <drnlmuller@gmail.com>
parents: 265
diff changeset
11 padding=2):
265
74ae1645df6e Move hackery into list widget
Neil Muller <drnlmuller@gmail.com>
parents:
diff changeset
12 self.widget_list = widget_list
74ae1645df6e Move hackery into list widget
Neil Muller <drnlmuller@gmail.com>
parents:
diff changeset
13 self.page_length = page_length
74ae1645df6e Move hackery into list widget
Neil Muller <drnlmuller@gmail.com>
parents:
diff changeset
14 self.padding = padding
74ae1645df6e Move hackery into list widget
Neil Muller <drnlmuller@gmail.com>
parents:
diff changeset
15 self.page = 0
267
1e8dca95c48a Hook up hot-keys in editor for jerith
Neil Muller <drnlmuller@gmail.com>
parents: 265
diff changeset
16 self.start_key = start_key
265
74ae1645df6e Move hackery into list widget
Neil Muller <drnlmuller@gmail.com>
parents:
diff changeset
17 super(ToolListWidget, self).__init__(rect)
74ae1645df6e Move hackery into list widget
Neil Muller <drnlmuller@gmail.com>
parents:
diff changeset
18 self.fill_page()
267
1e8dca95c48a Hook up hot-keys in editor for jerith
Neil Muller <drnlmuller@gmail.com>
parents: 265
diff changeset
19 # We do this to avoid needing to worry about focus too much
1e8dca95c48a Hook up hot-keys in editor for jerith
Neil Muller <drnlmuller@gmail.com>
parents: 265
diff changeset
20 self.add_callback(KEYUP, self.handle_key)
1e8dca95c48a Hook up hot-keys in editor for jerith
Neil Muller <drnlmuller@gmail.com>
parents: 265
diff changeset
21 self.focussable = True
265
74ae1645df6e Move hackery into list widget
Neil Muller <drnlmuller@gmail.com>
parents:
diff changeset
22
74ae1645df6e Move hackery into list widget
Neil Muller <drnlmuller@gmail.com>
parents:
diff changeset
23 def fill_page(self):
267
1e8dca95c48a Hook up hot-keys in editor for jerith
Neil Muller <drnlmuller@gmail.com>
parents: 265
diff changeset
24 self.hot_keys = {}
1e8dca95c48a Hook up hot-keys in editor for jerith
Neil Muller <drnlmuller@gmail.com>
parents: 265
diff changeset
25 self.prev_but = self.next_but = None
265
74ae1645df6e Move hackery into list widget
Neil Muller <drnlmuller@gmail.com>
parents:
diff changeset
26 start_page = self.page * self.page_length
74ae1645df6e Move hackery into list widget
Neil Muller <drnlmuller@gmail.com>
parents:
diff changeset
27 end_page = start_page + self.page_length
74ae1645df6e Move hackery into list widget
Neil Muller <drnlmuller@gmail.com>
parents:
diff changeset
28 button_height = self.rect.top + self.padding
74ae1645df6e Move hackery into list widget
Neil Muller <drnlmuller@gmail.com>
parents:
diff changeset
29 button_left = self.rect.left + self.padding
267
1e8dca95c48a Hook up hot-keys in editor for jerith
Neil Muller <drnlmuller@gmail.com>
parents: 265
diff changeset
30 key = self.start_key
265
74ae1645df6e Move hackery into list widget
Neil Muller <drnlmuller@gmail.com>
parents:
diff changeset
31 for widget in self.widget_list[start_page:end_page]:
74ae1645df6e Move hackery into list widget
Neil Muller <drnlmuller@gmail.com>
parents:
diff changeset
32 widget.rect.topleft = (button_left, button_height)
74ae1645df6e Move hackery into list widget
Neil Muller <drnlmuller@gmail.com>
parents:
diff changeset
33 self.add(widget)
267
1e8dca95c48a Hook up hot-keys in editor for jerith
Neil Muller <drnlmuller@gmail.com>
parents: 265
diff changeset
34 if key:
1e8dca95c48a Hook up hot-keys in editor for jerith
Neil Muller <drnlmuller@gmail.com>
parents: 265
diff changeset
35 self.hot_keys[key] = widget
1e8dca95c48a Hook up hot-keys in editor for jerith
Neil Muller <drnlmuller@gmail.com>
parents: 265
diff changeset
36 key += 1
265
74ae1645df6e Move hackery into list widget
Neil Muller <drnlmuller@gmail.com>
parents:
diff changeset
37 button_height += widget.rect.height + self.padding
74ae1645df6e Move hackery into list widget
Neil Muller <drnlmuller@gmail.com>
parents:
diff changeset
38 if start_page > 0:
267
1e8dca95c48a Hook up hot-keys in editor for jerith
Neil Muller <drnlmuller@gmail.com>
parents: 265
diff changeset
39 self.prev_but = TextButton((button_left, button_height), 'Prev')
1e8dca95c48a Hook up hot-keys in editor for jerith
Neil Muller <drnlmuller@gmail.com>
parents: 265
diff changeset
40 self.prev_but.add_callback('clicked', self.change_page, -1)
1e8dca95c48a Hook up hot-keys in editor for jerith
Neil Muller <drnlmuller@gmail.com>
parents: 265
diff changeset
41 self.add(self.prev_but)
265
74ae1645df6e Move hackery into list widget
Neil Muller <drnlmuller@gmail.com>
parents:
diff changeset
42 if end_page < len(self.widget_list):
267
1e8dca95c48a Hook up hot-keys in editor for jerith
Neil Muller <drnlmuller@gmail.com>
parents: 265
diff changeset
43 self.next_but = TextButton((button_left + 100, button_height),
1e8dca95c48a Hook up hot-keys in editor for jerith
Neil Muller <drnlmuller@gmail.com>
parents: 265
diff changeset
44 'Next')
1e8dca95c48a Hook up hot-keys in editor for jerith
Neil Muller <drnlmuller@gmail.com>
parents: 265
diff changeset
45 self.next_but.add_callback('clicked', self.change_page, 1)
1e8dca95c48a Hook up hot-keys in editor for jerith
Neil Muller <drnlmuller@gmail.com>
parents: 265
diff changeset
46 self.add(self.next_but)
1e8dca95c48a Hook up hot-keys in editor for jerith
Neil Muller <drnlmuller@gmail.com>
parents: 265
diff changeset
47
1e8dca95c48a Hook up hot-keys in editor for jerith
Neil Muller <drnlmuller@gmail.com>
parents: 265
diff changeset
48 def handle_key(self, ev, widget):
1e8dca95c48a Hook up hot-keys in editor for jerith
Neil Muller <drnlmuller@gmail.com>
parents: 265
diff changeset
49 if ev.key in self.hot_keys:
1e8dca95c48a Hook up hot-keys in editor for jerith
Neil Muller <drnlmuller@gmail.com>
parents: 265
diff changeset
50 widget = self.hot_keys[ev.key]
1e8dca95c48a Hook up hot-keys in editor for jerith
Neil Muller <drnlmuller@gmail.com>
parents: 265
diff changeset
51 return widget.forced_click()
1e8dca95c48a Hook up hot-keys in editor for jerith
Neil Muller <drnlmuller@gmail.com>
parents: 265
diff changeset
52 elif ev.key == K_PAGEDOWN and self.prev_but:
1e8dca95c48a Hook up hot-keys in editor for jerith
Neil Muller <drnlmuller@gmail.com>
parents: 265
diff changeset
53 self.prev_but.forced_click()
1e8dca95c48a Hook up hot-keys in editor for jerith
Neil Muller <drnlmuller@gmail.com>
parents: 265
diff changeset
54 elif ev.key == K_PAGEUP and self.next_but:
1e8dca95c48a Hook up hot-keys in editor for jerith
Neil Muller <drnlmuller@gmail.com>
parents: 265
diff changeset
55 self.next_but.forced_click()
265
74ae1645df6e Move hackery into list widget
Neil Muller <drnlmuller@gmail.com>
parents:
diff changeset
56
74ae1645df6e Move hackery into list widget
Neil Muller <drnlmuller@gmail.com>
parents:
diff changeset
57 def change_page(self, ev, widget, change):
74ae1645df6e Move hackery into list widget
Neil Muller <drnlmuller@gmail.com>
parents:
diff changeset
58 self.page += change
74ae1645df6e Move hackery into list widget
Neil Muller <drnlmuller@gmail.com>
parents:
diff changeset
59 for widget in self.children[:]:
74ae1645df6e Move hackery into list widget
Neil Muller <drnlmuller@gmail.com>
parents:
diff changeset
60 self.remove(widget)
74ae1645df6e Move hackery into list widget
Neil Muller <drnlmuller@gmail.com>
parents:
diff changeset
61 self.fill_page()
74ae1645df6e Move hackery into list widget
Neil Muller <drnlmuller@gmail.com>
parents:
diff changeset
62 return True