annotate frontends/primitivus/custom_widgets.py @ 159:2fa58703f1b7

Primitivus: notification bar, first draft - popup queue is now managed - notifications can auto-hide when nothing to show - ctrl-n show next notification Primitivus: ctrl-s allow to temporarily hide a popup Primitivus: cards in card_game now answer to mouse click Primitivus: notification is shown when invalid card is played in card_game Primitivus: SelectableText has now methods get_text and set_text
author Goffi <goffi@goffi.org>
date Wed, 04 Aug 2010 17:57:51 +0800
parents 7fcb4f083686
children ae50b53ff868
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
113
e5ca22113280 Primitivus: profile manager
Goffi <goffi@goffi.org>
parents:
diff changeset
1 #!/usr/bin/python
e5ca22113280 Primitivus: profile manager
Goffi <goffi@goffi.org>
parents:
diff changeset
2 # -*- coding: utf-8 -*-
e5ca22113280 Primitivus: profile manager
Goffi <goffi@goffi.org>
parents:
diff changeset
3
e5ca22113280 Primitivus: profile manager
Goffi <goffi@goffi.org>
parents:
diff changeset
4 """
e5ca22113280 Primitivus: profile manager
Goffi <goffi@goffi.org>
parents:
diff changeset
5 Primitivus: a SAT frontend
e5ca22113280 Primitivus: profile manager
Goffi <goffi@goffi.org>
parents:
diff changeset
6 Copyright (C) 2009, 2010 Jérôme Poisson (goffi@goffi.org)
e5ca22113280 Primitivus: profile manager
Goffi <goffi@goffi.org>
parents:
diff changeset
7
e5ca22113280 Primitivus: profile manager
Goffi <goffi@goffi.org>
parents:
diff changeset
8 This program is free software: you can redistribute it and/or modify
e5ca22113280 Primitivus: profile manager
Goffi <goffi@goffi.org>
parents:
diff changeset
9 it under the terms of the GNU General Public License as published by
e5ca22113280 Primitivus: profile manager
Goffi <goffi@goffi.org>
parents:
diff changeset
10 the Free Software Foundation, either version 3 of the License, or
e5ca22113280 Primitivus: profile manager
Goffi <goffi@goffi.org>
parents:
diff changeset
11 (at your option) any later version.
e5ca22113280 Primitivus: profile manager
Goffi <goffi@goffi.org>
parents:
diff changeset
12
e5ca22113280 Primitivus: profile manager
Goffi <goffi@goffi.org>
parents:
diff changeset
13 This program is distributed in the hope that it will be useful,
e5ca22113280 Primitivus: profile manager
Goffi <goffi@goffi.org>
parents:
diff changeset
14 but WITHOUT ANY WARRANTY; without even the implied warranty of
e5ca22113280 Primitivus: profile manager
Goffi <goffi@goffi.org>
parents:
diff changeset
15 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
e5ca22113280 Primitivus: profile manager
Goffi <goffi@goffi.org>
parents:
diff changeset
16 GNU General Public License for more details.
e5ca22113280 Primitivus: profile manager
Goffi <goffi@goffi.org>
parents:
diff changeset
17
e5ca22113280 Primitivus: profile manager
Goffi <goffi@goffi.org>
parents:
diff changeset
18 You should have received a copy of the GNU General Public License
e5ca22113280 Primitivus: profile manager
Goffi <goffi@goffi.org>
parents:
diff changeset
19 along with this program. If not, see <http://www.gnu.org/licenses/>.
e5ca22113280 Primitivus: profile manager
Goffi <goffi@goffi.org>
parents:
diff changeset
20 """
e5ca22113280 Primitivus: profile manager
Goffi <goffi@goffi.org>
parents:
diff changeset
21
e5ca22113280 Primitivus: profile manager
Goffi <goffi@goffi.org>
parents:
diff changeset
22 import urwid
120
1ca5f254ce41 primitivus group chat & misc
Goffi <goffi@goffi.org>
parents: 119
diff changeset
23 from urwid.escape import utf8decode
113
e5ca22113280 Primitivus: profile manager
Goffi <goffi@goffi.org>
parents:
diff changeset
24
e5ca22113280 Primitivus: profile manager
Goffi <goffi@goffi.org>
parents:
diff changeset
25 class Password(urwid.Edit):
121
03d8bcc67182 misc documentation
Goffi <goffi@goffi.org>
parents: 120
diff changeset
26 """Edit box which doesn't show what is entered (show '*' or other char instead)"""
113
e5ca22113280 Primitivus: profile manager
Goffi <goffi@goffi.org>
parents:
diff changeset
27
e5ca22113280 Primitivus: profile manager
Goffi <goffi@goffi.org>
parents:
diff changeset
28 def __init__(self, *args, **kwargs):
121
03d8bcc67182 misc documentation
Goffi <goffi@goffi.org>
parents: 120
diff changeset
29 """Same args than Edit.__init__ with an additional keyword arg 'hidden_char'
03d8bcc67182 misc documentation
Goffi <goffi@goffi.org>
parents: 120
diff changeset
30 @param hidden_char: char to show instead of what is actually entered: default '*'
03d8bcc67182 misc documentation
Goffi <goffi@goffi.org>
parents: 120
diff changeset
31 """
113
e5ca22113280 Primitivus: profile manager
Goffi <goffi@goffi.org>
parents:
diff changeset
32 self.hidden_char=kwargs['hidden_char'] if kwargs.has_key('hidden_char') else '*'
e5ca22113280 Primitivus: profile manager
Goffi <goffi@goffi.org>
parents:
diff changeset
33 self.__real_text=''
e5ca22113280 Primitivus: profile manager
Goffi <goffi@goffi.org>
parents:
diff changeset
34 super(Password, self).__init__(*args, **kwargs)
e5ca22113280 Primitivus: profile manager
Goffi <goffi@goffi.org>
parents:
diff changeset
35
e5ca22113280 Primitivus: profile manager
Goffi <goffi@goffi.org>
parents:
diff changeset
36 def set_edit_text(self, text):
e5ca22113280 Primitivus: profile manager
Goffi <goffi@goffi.org>
parents:
diff changeset
37 self.__real_text = text
e5ca22113280 Primitivus: profile manager
Goffi <goffi@goffi.org>
parents:
diff changeset
38 hidden_txt = len(text)*'*'
e5ca22113280 Primitivus: profile manager
Goffi <goffi@goffi.org>
parents:
diff changeset
39 super(Password, self).set_edit_text(hidden_txt)
e5ca22113280 Primitivus: profile manager
Goffi <goffi@goffi.org>
parents:
diff changeset
40
e5ca22113280 Primitivus: profile manager
Goffi <goffi@goffi.org>
parents:
diff changeset
41 def get_edit_text(self):
e5ca22113280 Primitivus: profile manager
Goffi <goffi@goffi.org>
parents:
diff changeset
42 return self.__real_text
e5ca22113280 Primitivus: profile manager
Goffi <goffi@goffi.org>
parents:
diff changeset
43
128
2240f34f6452 Primitivus: misc fixes + menubar first draft
Goffi <goffi@goffi.org>
parents: 125
diff changeset
44 def insert_text(self, text):
2240f34f6452 Primitivus: misc fixes + menubar first draft
Goffi <goffi@goffi.org>
parents: 125
diff changeset
45 self._edit_text = self.__real_text
2240f34f6452 Primitivus: misc fixes + menubar first draft
Goffi <goffi@goffi.org>
parents: 125
diff changeset
46 super(Password,self).insert_text(text)
2240f34f6452 Primitivus: misc fixes + menubar first draft
Goffi <goffi@goffi.org>
parents: 125
diff changeset
47
2240f34f6452 Primitivus: misc fixes + menubar first draft
Goffi <goffi@goffi.org>
parents: 125
diff changeset
48 def render(self, size, focus=False):
2240f34f6452 Primitivus: misc fixes + menubar first draft
Goffi <goffi@goffi.org>
parents: 125
diff changeset
49 return super(Password, self).render(size, focus)
2240f34f6452 Primitivus: misc fixes + menubar first draft
Goffi <goffi@goffi.org>
parents: 125
diff changeset
50
118
76055a209ed9 primitivus: added edition zone at the bottom
Goffi <goffi@goffi.org>
parents: 117
diff changeset
51 class AdvancedEdit(urwid.Edit):
121
03d8bcc67182 misc documentation
Goffi <goffi@goffi.org>
parents: 120
diff changeset
52 """Edit box with some custom improvments
03d8bcc67182 misc documentation
Goffi <goffi@goffi.org>
parents: 120
diff changeset
53 new chars:
03d8bcc67182 misc documentation
Goffi <goffi@goffi.org>
parents: 120
diff changeset
54 - C-a: like 'home'
03d8bcc67182 misc documentation
Goffi <goffi@goffi.org>
parents: 120
diff changeset
55 - C-e: like 'end'
03d8bcc67182 misc documentation
Goffi <goffi@goffi.org>
parents: 120
diff changeset
56 - C-k: remove everything on the right of the cursor
03d8bcc67182 misc documentation
Goffi <goffi@goffi.org>
parents: 120
diff changeset
57 - C-w: remove the word on the back
03d8bcc67182 misc documentation
Goffi <goffi@goffi.org>
parents: 120
diff changeset
58 new behaviour: emit a 'click' signal when enter is pressed"""
119
ded2431cea5a Primitivus: chat window / text sending.
Goffi <goffi@goffi.org>
parents: 118
diff changeset
59 signals = urwid.Edit.signals + ['click']
118
76055a209ed9 primitivus: added edition zone at the bottom
Goffi <goffi@goffi.org>
parents: 117
diff changeset
60
76055a209ed9 primitivus: added edition zone at the bottom
Goffi <goffi@goffi.org>
parents: 117
diff changeset
61 def keypress(self, size, key):
76055a209ed9 primitivus: added edition zone at the bottom
Goffi <goffi@goffi.org>
parents: 117
diff changeset
62 #TODO: insert mode is not managed yet
76055a209ed9 primitivus: added edition zone at the bottom
Goffi <goffi@goffi.org>
parents: 117
diff changeset
63 if key == 'ctrl a':
76055a209ed9 primitivus: added edition zone at the bottom
Goffi <goffi@goffi.org>
parents: 117
diff changeset
64 key = 'home'
76055a209ed9 primitivus: added edition zone at the bottom
Goffi <goffi@goffi.org>
parents: 117
diff changeset
65 elif key == 'ctrl e':
76055a209ed9 primitivus: added edition zone at the bottom
Goffi <goffi@goffi.org>
parents: 117
diff changeset
66 key = 'end'
76055a209ed9 primitivus: added edition zone at the bottom
Goffi <goffi@goffi.org>
parents: 117
diff changeset
67 elif key == 'ctrl k':
76055a209ed9 primitivus: added edition zone at the bottom
Goffi <goffi@goffi.org>
parents: 117
diff changeset
68 self._delete_highlighted()
76055a209ed9 primitivus: added edition zone at the bottom
Goffi <goffi@goffi.org>
parents: 117
diff changeset
69 self.set_edit_text(self.edit_text[:self.edit_pos])
76055a209ed9 primitivus: added edition zone at the bottom
Goffi <goffi@goffi.org>
parents: 117
diff changeset
70 elif key == 'ctrl w':
76055a209ed9 primitivus: added edition zone at the bottom
Goffi <goffi@goffi.org>
parents: 117
diff changeset
71 before = self.edit_text[:self.edit_pos]
76055a209ed9 primitivus: added edition zone at the bottom
Goffi <goffi@goffi.org>
parents: 117
diff changeset
72 pos = before.rstrip().rfind(" ")+1
76055a209ed9 primitivus: added edition zone at the bottom
Goffi <goffi@goffi.org>
parents: 117
diff changeset
73 self.set_edit_text(before[:pos] + self.edit_text[self.edit_pos:])
76055a209ed9 primitivus: added edition zone at the bottom
Goffi <goffi@goffi.org>
parents: 117
diff changeset
74 self.set_edit_pos(pos)
119
ded2431cea5a Primitivus: chat window / text sending.
Goffi <goffi@goffi.org>
parents: 118
diff changeset
75 elif key == 'enter':
ded2431cea5a Primitivus: chat window / text sending.
Goffi <goffi@goffi.org>
parents: 118
diff changeset
76 self._emit('click')
118
76055a209ed9 primitivus: added edition zone at the bottom
Goffi <goffi@goffi.org>
parents: 117
diff changeset
77 return super(AdvancedEdit, self).keypress(size, key)
76055a209ed9 primitivus: added edition zone at the bottom
Goffi <goffi@goffi.org>
parents: 117
diff changeset
78
76055a209ed9 primitivus: added edition zone at the bottom
Goffi <goffi@goffi.org>
parents: 117
diff changeset
79
120
1ca5f254ce41 primitivus group chat & misc
Goffi <goffi@goffi.org>
parents: 119
diff changeset
80 class SurroundedText(urwid.FlowWidget):
121
03d8bcc67182 misc documentation
Goffi <goffi@goffi.org>
parents: 120
diff changeset
81 """Text centered on a repeated character (like a Divider, but with a text in the center)"""
120
1ca5f254ce41 primitivus group chat & misc
Goffi <goffi@goffi.org>
parents: 119
diff changeset
82
1ca5f254ce41 primitivus group chat & misc
Goffi <goffi@goffi.org>
parents: 119
diff changeset
83 def __init__(self,text,car=utf8decode('─')):
1ca5f254ce41 primitivus group chat & misc
Goffi <goffi@goffi.org>
parents: 119
diff changeset
84 self.text=text
1ca5f254ce41 primitivus group chat & misc
Goffi <goffi@goffi.org>
parents: 119
diff changeset
85 self.car=car
1ca5f254ce41 primitivus group chat & misc
Goffi <goffi@goffi.org>
parents: 119
diff changeset
86
1ca5f254ce41 primitivus group chat & misc
Goffi <goffi@goffi.org>
parents: 119
diff changeset
87 def rows(self,size,focus=False):
1ca5f254ce41 primitivus group chat & misc
Goffi <goffi@goffi.org>
parents: 119
diff changeset
88 return self.display_widget(size, focus).rows(size, focus)
1ca5f254ce41 primitivus group chat & misc
Goffi <goffi@goffi.org>
parents: 119
diff changeset
89
1ca5f254ce41 primitivus group chat & misc
Goffi <goffi@goffi.org>
parents: 119
diff changeset
90 def render(self, size, focus=False):
1ca5f254ce41 primitivus group chat & misc
Goffi <goffi@goffi.org>
parents: 119
diff changeset
91 return self.display_widget(size, focus).render(size, focus)
1ca5f254ce41 primitivus group chat & misc
Goffi <goffi@goffi.org>
parents: 119
diff changeset
92
1ca5f254ce41 primitivus group chat & misc
Goffi <goffi@goffi.org>
parents: 119
diff changeset
93 def display_widget(self, size, focus):
1ca5f254ce41 primitivus group chat & misc
Goffi <goffi@goffi.org>
parents: 119
diff changeset
94 (maxcol,) = size
1ca5f254ce41 primitivus group chat & misc
Goffi <goffi@goffi.org>
parents: 119
diff changeset
95 middle = (maxcol-len(self.text))/2
1ca5f254ce41 primitivus group chat & misc
Goffi <goffi@goffi.org>
parents: 119
diff changeset
96 render_text = middle * self.car + self.text + (maxcol - len(self.text) - middle) * self.car
1ca5f254ce41 primitivus group chat & misc
Goffi <goffi@goffi.org>
parents: 119
diff changeset
97 return urwid.Text(render_text)
1ca5f254ce41 primitivus group chat & misc
Goffi <goffi@goffi.org>
parents: 119
diff changeset
98
113
e5ca22113280 Primitivus: profile manager
Goffi <goffi@goffi.org>
parents:
diff changeset
99 class SelectableText(urwid.FlowWidget):
120
1ca5f254ce41 primitivus group chat & misc
Goffi <goffi@goffi.org>
parents: 119
diff changeset
100 """Text which can be selected with space"""
113
e5ca22113280 Primitivus: profile manager
Goffi <goffi@goffi.org>
parents:
diff changeset
101 signals = ['change']
e5ca22113280 Primitivus: profile manager
Goffi <goffi@goffi.org>
parents:
diff changeset
102
125
8d611eb9ae48 primitivus: contact list enhancement
Goffi <goffi@goffi.org>
parents: 124
diff changeset
103 def __init__(self, text, align='left', header='', select_attr=None, default_attr=None, selected = False, data=None):
113
e5ca22113280 Primitivus: profile manager
Goffi <goffi@goffi.org>
parents:
diff changeset
104 self.text=unicode(text)
125
8d611eb9ae48 primitivus: contact list enhancement
Goffi <goffi@goffi.org>
parents: 124
diff changeset
105 self.header=header
8d611eb9ae48 primitivus: contact list enhancement
Goffi <goffi@goffi.org>
parents: 124
diff changeset
106 if data:
8d611eb9ae48 primitivus: contact list enhancement
Goffi <goffi@goffi.org>
parents: 124
diff changeset
107 self.data=data
8d611eb9ae48 primitivus: contact list enhancement
Goffi <goffi@goffi.org>
parents: 124
diff changeset
108 if select_attr:
8d611eb9ae48 primitivus: contact list enhancement
Goffi <goffi@goffi.org>
parents: 124
diff changeset
109 self.selected = select_attr
8d611eb9ae48 primitivus: contact list enhancement
Goffi <goffi@goffi.org>
parents: 124
diff changeset
110 if default_attr:
8d611eb9ae48 primitivus: contact list enhancement
Goffi <goffi@goffi.org>
parents: 124
diff changeset
111 self.default = default_attr
113
e5ca22113280 Primitivus: profile manager
Goffi <goffi@goffi.org>
parents:
diff changeset
112 self.align = align
125
8d611eb9ae48 primitivus: contact list enhancement
Goffi <goffi@goffi.org>
parents: 124
diff changeset
113 self.__selected=selected
113
e5ca22113280 Primitivus: profile manager
Goffi <goffi@goffi.org>
parents:
diff changeset
114
e5ca22113280 Primitivus: profile manager
Goffi <goffi@goffi.org>
parents:
diff changeset
115 def getValue(self):
e5ca22113280 Primitivus: profile manager
Goffi <goffi@goffi.org>
parents:
diff changeset
116 return self.text
125
8d611eb9ae48 primitivus: contact list enhancement
Goffi <goffi@goffi.org>
parents: 124
diff changeset
117
159
2fa58703f1b7 Primitivus: notification bar, first draft
Goffi <goffi@goffi.org>
parents: 151
diff changeset
118 def get_text(self):
2fa58703f1b7 Primitivus: notification bar, first draft
Goffi <goffi@goffi.org>
parents: 151
diff changeset
119 """for compatibility with urwid.Text"""
2fa58703f1b7 Primitivus: notification bar, first draft
Goffi <goffi@goffi.org>
parents: 151
diff changeset
120 return self.getValue()
2fa58703f1b7 Primitivus: notification bar, first draft
Goffi <goffi@goffi.org>
parents: 151
diff changeset
121
2fa58703f1b7 Primitivus: notification bar, first draft
Goffi <goffi@goffi.org>
parents: 151
diff changeset
122 def set_text(self, text):
2fa58703f1b7 Primitivus: notification bar, first draft
Goffi <goffi@goffi.org>
parents: 151
diff changeset
123 self.text=unicode(text)
2fa58703f1b7 Primitivus: notification bar, first draft
Goffi <goffi@goffi.org>
parents: 151
diff changeset
124 self._invalidate()
2fa58703f1b7 Primitivus: notification bar, first draft
Goffi <goffi@goffi.org>
parents: 151
diff changeset
125
125
8d611eb9ae48 primitivus: contact list enhancement
Goffi <goffi@goffi.org>
parents: 124
diff changeset
126 def setAttribute(self, name, value):
8d611eb9ae48 primitivus: contact list enhancement
Goffi <goffi@goffi.org>
parents: 124
diff changeset
127 """Change attribut used for rendering widget
8d611eb9ae48 primitivus: contact list enhancement
Goffi <goffi@goffi.org>
parents: 124
diff changeset
128 @param name: one of
8d611eb9ae48 primitivus: contact list enhancement
Goffi <goffi@goffi.org>
parents: 124
diff changeset
129 -default: when not selected
8d611eb9ae48 primitivus: contact list enhancement
Goffi <goffi@goffi.org>
parents: 124
diff changeset
130 -selected: when selected
8d611eb9ae48 primitivus: contact list enhancement
Goffi <goffi@goffi.org>
parents: 124
diff changeset
131 @param value: name of the attribute
8d611eb9ae48 primitivus: contact list enhancement
Goffi <goffi@goffi.org>
parents: 124
diff changeset
132 /!\ the attribute name followed by _focus is used when widget has focus"""
8d611eb9ae48 primitivus: contact list enhancement
Goffi <goffi@goffi.org>
parents: 124
diff changeset
133 assert name in ['default', 'selected']
8d611eb9ae48 primitivus: contact list enhancement
Goffi <goffi@goffi.org>
parents: 124
diff changeset
134 self.__setattr__(name,value)
8d611eb9ae48 primitivus: contact list enhancement
Goffi <goffi@goffi.org>
parents: 124
diff changeset
135 self._invalidate()
113
e5ca22113280 Primitivus: profile manager
Goffi <goffi@goffi.org>
parents:
diff changeset
136
e5ca22113280 Primitivus: profile manager
Goffi <goffi@goffi.org>
parents:
diff changeset
137 def setState(self, selected, invisible=False):
e5ca22113280 Primitivus: profile manager
Goffi <goffi@goffi.org>
parents:
diff changeset
138 """Change state
e5ca22113280 Primitivus: profile manager
Goffi <goffi@goffi.org>
parents:
diff changeset
139 @param selected: boolean state value
e5ca22113280 Primitivus: profile manager
Goffi <goffi@goffi.org>
parents:
diff changeset
140 @param invisible: don't emit change signal if True"""
e5ca22113280 Primitivus: profile manager
Goffi <goffi@goffi.org>
parents:
diff changeset
141 assert(type(selected)==bool)
e5ca22113280 Primitivus: profile manager
Goffi <goffi@goffi.org>
parents:
diff changeset
142 self.__selected=selected
119
ded2431cea5a Primitivus: chat window / text sending.
Goffi <goffi@goffi.org>
parents: 118
diff changeset
143 self._invalidate()
113
e5ca22113280 Primitivus: profile manager
Goffi <goffi@goffi.org>
parents:
diff changeset
144 if not invisible:
e5ca22113280 Primitivus: profile manager
Goffi <goffi@goffi.org>
parents:
diff changeset
145 self._emit("change", self.__selected)
e5ca22113280 Primitivus: profile manager
Goffi <goffi@goffi.org>
parents:
diff changeset
146
e5ca22113280 Primitivus: profile manager
Goffi <goffi@goffi.org>
parents:
diff changeset
147 def getState(self):
e5ca22113280 Primitivus: profile manager
Goffi <goffi@goffi.org>
parents:
diff changeset
148 return self.__selected
e5ca22113280 Primitivus: profile manager
Goffi <goffi@goffi.org>
parents:
diff changeset
149
e5ca22113280 Primitivus: profile manager
Goffi <goffi@goffi.org>
parents:
diff changeset
150 def selectable(self):
e5ca22113280 Primitivus: profile manager
Goffi <goffi@goffi.org>
parents:
diff changeset
151 return True
e5ca22113280 Primitivus: profile manager
Goffi <goffi@goffi.org>
parents:
diff changeset
152
e5ca22113280 Primitivus: profile manager
Goffi <goffi@goffi.org>
parents:
diff changeset
153 def keypress(self, size, key):
e5ca22113280 Primitivus: profile manager
Goffi <goffi@goffi.org>
parents:
diff changeset
154 if key==' ' or key=='enter':
e5ca22113280 Primitivus: profile manager
Goffi <goffi@goffi.org>
parents:
diff changeset
155 self.setState(not self.__selected)
e5ca22113280 Primitivus: profile manager
Goffi <goffi@goffi.org>
parents:
diff changeset
156 else:
e5ca22113280 Primitivus: profile manager
Goffi <goffi@goffi.org>
parents:
diff changeset
157 return key
e5ca22113280 Primitivus: profile manager
Goffi <goffi@goffi.org>
parents:
diff changeset
158
151
7fcb4f083686 Primitivus: custom_widgets imrpovments
Goffi <goffi@goffi.org>
parents: 144
diff changeset
159 def mouse_event(self, size, event, button, x, y, focus):
7fcb4f083686 Primitivus: custom_widgets imrpovments
Goffi <goffi@goffi.org>
parents: 144
diff changeset
160 if urwid.is_mouse_press(event) and button == 1:
7fcb4f083686 Primitivus: custom_widgets imrpovments
Goffi <goffi@goffi.org>
parents: 144
diff changeset
161 self.setState(not self.__selected)
7fcb4f083686 Primitivus: custom_widgets imrpovments
Goffi <goffi@goffi.org>
parents: 144
diff changeset
162 return True
7fcb4f083686 Primitivus: custom_widgets imrpovments
Goffi <goffi@goffi.org>
parents: 144
diff changeset
163
7fcb4f083686 Primitivus: custom_widgets imrpovments
Goffi <goffi@goffi.org>
parents: 144
diff changeset
164 return False
7fcb4f083686 Primitivus: custom_widgets imrpovments
Goffi <goffi@goffi.org>
parents: 144
diff changeset
165
113
e5ca22113280 Primitivus: profile manager
Goffi <goffi@goffi.org>
parents:
diff changeset
166 def rows(self,size,focus=False):
e5ca22113280 Primitivus: profile manager
Goffi <goffi@goffi.org>
parents:
diff changeset
167 return self.display_widget(size, focus).rows(size, focus)
e5ca22113280 Primitivus: profile manager
Goffi <goffi@goffi.org>
parents:
diff changeset
168
e5ca22113280 Primitivus: profile manager
Goffi <goffi@goffi.org>
parents:
diff changeset
169 def render(self, size, focus=False):
e5ca22113280 Primitivus: profile manager
Goffi <goffi@goffi.org>
parents:
diff changeset
170 return self.display_widget(size, focus).render(size, focus)
e5ca22113280 Primitivus: profile manager
Goffi <goffi@goffi.org>
parents:
diff changeset
171
e5ca22113280 Primitivus: profile manager
Goffi <goffi@goffi.org>
parents:
diff changeset
172 def display_widget(self, size, focus):
125
8d611eb9ae48 primitivus: contact list enhancement
Goffi <goffi@goffi.org>
parents: 124
diff changeset
173 try:
8d611eb9ae48 primitivus: contact list enhancement
Goffi <goffi@goffi.org>
parents: 124
diff changeset
174 select_attr = self.selected
8d611eb9ae48 primitivus: contact list enhancement
Goffi <goffi@goffi.org>
parents: 124
diff changeset
175 except AttributeError:
8d611eb9ae48 primitivus: contact list enhancement
Goffi <goffi@goffi.org>
parents: 124
diff changeset
176 select_attr = 'selected'
8d611eb9ae48 primitivus: contact list enhancement
Goffi <goffi@goffi.org>
parents: 124
diff changeset
177 try:
8d611eb9ae48 primitivus: contact list enhancement
Goffi <goffi@goffi.org>
parents: 124
diff changeset
178 default_attr = self.default
8d611eb9ae48 primitivus: contact list enhancement
Goffi <goffi@goffi.org>
parents: 124
diff changeset
179 except AttributeError:
8d611eb9ae48 primitivus: contact list enhancement
Goffi <goffi@goffi.org>
parents: 124
diff changeset
180 default_attr = 'default'
8d611eb9ae48 primitivus: contact list enhancement
Goffi <goffi@goffi.org>
parents: 124
diff changeset
181 attr = select_attr if self.__selected else default_attr
113
e5ca22113280 Primitivus: profile manager
Goffi <goffi@goffi.org>
parents:
diff changeset
182 if focus:
e5ca22113280 Primitivus: profile manager
Goffi <goffi@goffi.org>
parents:
diff changeset
183 attr+="_focus"
125
8d611eb9ae48 primitivus: contact list enhancement
Goffi <goffi@goffi.org>
parents: 124
diff changeset
184 return urwid.Text((attr,self.header+self.text), align=self.align)
113
e5ca22113280 Primitivus: profile manager
Goffi <goffi@goffi.org>
parents:
diff changeset
185
125
8d611eb9ae48 primitivus: contact list enhancement
Goffi <goffi@goffi.org>
parents: 124
diff changeset
186 class ClickableText(SelectableText):
8d611eb9ae48 primitivus: contact list enhancement
Goffi <goffi@goffi.org>
parents: 124
diff changeset
187 signals = SelectableText.signals + ['click']
124
961e0898271f primitivus chat window
Goffi <goffi@goffi.org>
parents: 121
diff changeset
188
961e0898271f primitivus chat window
Goffi <goffi@goffi.org>
parents: 121
diff changeset
189 def setState(self, selected, invisible=False):
125
8d611eb9ae48 primitivus: contact list enhancement
Goffi <goffi@goffi.org>
parents: 124
diff changeset
190 self._emit('click')
124
961e0898271f primitivus chat window
Goffi <goffi@goffi.org>
parents: 121
diff changeset
191
151
7fcb4f083686 Primitivus: custom_widgets imrpovments
Goffi <goffi@goffi.org>
parents: 144
diff changeset
192 class CustomButton(ClickableText):
7fcb4f083686 Primitivus: custom_widgets imrpovments
Goffi <goffi@goffi.org>
parents: 144
diff changeset
193
7fcb4f083686 Primitivus: custom_widgets imrpovments
Goffi <goffi@goffi.org>
parents: 144
diff changeset
194 def __init__(self, label, on_press=None, user_data=None, left_border = "[ ", right_border = " ]"):
7fcb4f083686 Primitivus: custom_widgets imrpovments
Goffi <goffi@goffi.org>
parents: 144
diff changeset
195 self.label = label
7fcb4f083686 Primitivus: custom_widgets imrpovments
Goffi <goffi@goffi.org>
parents: 144
diff changeset
196 render_txt = "%s%s%s" % (left_border, label, right_border)
7fcb4f083686 Primitivus: custom_widgets imrpovments
Goffi <goffi@goffi.org>
parents: 144
diff changeset
197 self.size = len(render_txt)
7fcb4f083686 Primitivus: custom_widgets imrpovments
Goffi <goffi@goffi.org>
parents: 144
diff changeset
198 super(CustomButton, self).__init__(render_txt)
7fcb4f083686 Primitivus: custom_widgets imrpovments
Goffi <goffi@goffi.org>
parents: 144
diff changeset
199 if on_press:
7fcb4f083686 Primitivus: custom_widgets imrpovments
Goffi <goffi@goffi.org>
parents: 144
diff changeset
200 urwid.connect_signal(self, 'click', on_press, user_data)
7fcb4f083686 Primitivus: custom_widgets imrpovments
Goffi <goffi@goffi.org>
parents: 144
diff changeset
201
7fcb4f083686 Primitivus: custom_widgets imrpovments
Goffi <goffi@goffi.org>
parents: 144
diff changeset
202 def getSize(self):
7fcb4f083686 Primitivus: custom_widgets imrpovments
Goffi <goffi@goffi.org>
parents: 144
diff changeset
203 """Return representation size of the button"""
7fcb4f083686 Primitivus: custom_widgets imrpovments
Goffi <goffi@goffi.org>
parents: 144
diff changeset
204 return self.size
7fcb4f083686 Primitivus: custom_widgets imrpovments
Goffi <goffi@goffi.org>
parents: 144
diff changeset
205
7fcb4f083686 Primitivus: custom_widgets imrpovments
Goffi <goffi@goffi.org>
parents: 144
diff changeset
206 def get_label(self):
7fcb4f083686 Primitivus: custom_widgets imrpovments
Goffi <goffi@goffi.org>
parents: 144
diff changeset
207 return self.label
7fcb4f083686 Primitivus: custom_widgets imrpovments
Goffi <goffi@goffi.org>
parents: 144
diff changeset
208
119
ded2431cea5a Primitivus: chat window / text sending.
Goffi <goffi@goffi.org>
parents: 118
diff changeset
209 class GenericList(urwid.WidgetWrap):
ded2431cea5a Primitivus: chat window / text sending.
Goffi <goffi@goffi.org>
parents: 118
diff changeset
210 signals = ['click','change']
113
e5ca22113280 Primitivus: profile manager
Goffi <goffi@goffi.org>
parents:
diff changeset
211
124
961e0898271f primitivus chat window
Goffi <goffi@goffi.org>
parents: 121
diff changeset
212 def __init__(self, options, style=[], align='left', option_type = SelectableText, on_click=None, on_change=None, user_data=None):
119
ded2431cea5a Primitivus: chat window / text sending.
Goffi <goffi@goffi.org>
parents: 118
diff changeset
213 """
ded2431cea5a Primitivus: chat window / text sending.
Goffi <goffi@goffi.org>
parents: 118
diff changeset
214 Widget managing list of string and their selection
ded2431cea5a Primitivus: chat window / text sending.
Goffi <goffi@goffi.org>
parents: 118
diff changeset
215 @param options: list of strings used for options
ded2431cea5a Primitivus: chat window / text sending.
Goffi <goffi@goffi.org>
parents: 118
diff changeset
216 @param style: list of string:
ded2431cea5a Primitivus: chat window / text sending.
Goffi <goffi@goffi.org>
parents: 118
diff changeset
217 - 'single' if only one must be selected
ded2431cea5a Primitivus: chat window / text sending.
Goffi <goffi@goffi.org>
parents: 118
diff changeset
218 - 'no_first_select' nothing selected when list is first displayed
ded2431cea5a Primitivus: chat window / text sending.
Goffi <goffi@goffi.org>
parents: 118
diff changeset
219 - 'can_select_none' if we can select nothing
ded2431cea5a Primitivus: chat window / text sending.
Goffi <goffi@goffi.org>
parents: 118
diff changeset
220 @param align: alignement of text inside the list
ded2431cea5a Primitivus: chat window / text sending.
Goffi <goffi@goffi.org>
parents: 118
diff changeset
221 @param on_click: method called when click signal is emited
ded2431cea5a Primitivus: chat window / text sending.
Goffi <goffi@goffi.org>
parents: 118
diff changeset
222 @param user_data: data sent to the callback for click signal
ded2431cea5a Primitivus: chat window / text sending.
Goffi <goffi@goffi.org>
parents: 118
diff changeset
223 """
113
e5ca22113280 Primitivus: profile manager
Goffi <goffi@goffi.org>
parents:
diff changeset
224 self.single = 'single' in style
119
ded2431cea5a Primitivus: chat window / text sending.
Goffi <goffi@goffi.org>
parents: 118
diff changeset
225 self.no_first_select = 'no_first_select' in style
ded2431cea5a Primitivus: chat window / text sending.
Goffi <goffi@goffi.org>
parents: 118
diff changeset
226 self.can_select_none = 'can_select_none' in style
113
e5ca22113280 Primitivus: profile manager
Goffi <goffi@goffi.org>
parents:
diff changeset
227 self.align = align
124
961e0898271f primitivus chat window
Goffi <goffi@goffi.org>
parents: 121
diff changeset
228 self.option_type = option_type
119
ded2431cea5a Primitivus: chat window / text sending.
Goffi <goffi@goffi.org>
parents: 118
diff changeset
229 self.first_display = True
113
e5ca22113280 Primitivus: profile manager
Goffi <goffi@goffi.org>
parents:
diff changeset
230
119
ded2431cea5a Primitivus: chat window / text sending.
Goffi <goffi@goffi.org>
parents: 118
diff changeset
231 if on_click:
ded2431cea5a Primitivus: chat window / text sending.
Goffi <goffi@goffi.org>
parents: 118
diff changeset
232 urwid.connect_signal(self, 'click', on_click, user_data)
ded2431cea5a Primitivus: chat window / text sending.
Goffi <goffi@goffi.org>
parents: 118
diff changeset
233
ded2431cea5a Primitivus: chat window / text sending.
Goffi <goffi@goffi.org>
parents: 118
diff changeset
234 if on_change:
ded2431cea5a Primitivus: chat window / text sending.
Goffi <goffi@goffi.org>
parents: 118
diff changeset
235 urwid.connect_signal(self, 'change', on_change, user_data)
113
e5ca22113280 Primitivus: profile manager
Goffi <goffi@goffi.org>
parents:
diff changeset
236
114
77f48939ad6e primitivus: added Alert widget
Goffi <goffi@goffi.org>
parents: 113
diff changeset
237 self.content = urwid.SimpleListWalker([])
113
e5ca22113280 Primitivus: profile manager
Goffi <goffi@goffi.org>
parents:
diff changeset
238 self.list_box = urwid.ListBox(self.content)
118
76055a209ed9 primitivus: added edition zone at the bottom
Goffi <goffi@goffi.org>
parents: 117
diff changeset
239 urwid.WidgetWrap.__init__(self, self.list_box)
114
77f48939ad6e primitivus: added Alert widget
Goffi <goffi@goffi.org>
parents: 113
diff changeset
240 self.changeValues(options)
113
e5ca22113280 Primitivus: profile manager
Goffi <goffi@goffi.org>
parents:
diff changeset
241
e5ca22113280 Primitivus: profile manager
Goffi <goffi@goffi.org>
parents:
diff changeset
242 def __onStateChange(self, widget, selected):
e5ca22113280 Primitivus: profile manager
Goffi <goffi@goffi.org>
parents:
diff changeset
243 if self.single:
119
ded2431cea5a Primitivus: chat window / text sending.
Goffi <goffi@goffi.org>
parents: 118
diff changeset
244 if not selected and not self.can_select_none:
113
e5ca22113280 Primitivus: profile manager
Goffi <goffi@goffi.org>
parents:
diff changeset
245 #if in single mode, it's forbidden to unselect a value
e5ca22113280 Primitivus: profile manager
Goffi <goffi@goffi.org>
parents:
diff changeset
246 widget.setState(True, invisible=True)
e5ca22113280 Primitivus: profile manager
Goffi <goffi@goffi.org>
parents:
diff changeset
247 return
119
ded2431cea5a Primitivus: chat window / text sending.
Goffi <goffi@goffi.org>
parents: 118
diff changeset
248 if selected:
113
e5ca22113280 Primitivus: profile manager
Goffi <goffi@goffi.org>
parents:
diff changeset
249 self.unselectAll(invisible=True)
e5ca22113280 Primitivus: profile manager
Goffi <goffi@goffi.org>
parents:
diff changeset
250 widget.setState(True, invisible=True)
119
ded2431cea5a Primitivus: chat window / text sending.
Goffi <goffi@goffi.org>
parents: 118
diff changeset
251 self._emit("click")
113
e5ca22113280 Primitivus: profile manager
Goffi <goffi@goffi.org>
parents:
diff changeset
252
e5ca22113280 Primitivus: profile manager
Goffi <goffi@goffi.org>
parents:
diff changeset
253
e5ca22113280 Primitivus: profile manager
Goffi <goffi@goffi.org>
parents:
diff changeset
254 def unselectAll(self, invisible=False):
e5ca22113280 Primitivus: profile manager
Goffi <goffi@goffi.org>
parents:
diff changeset
255 for widget in self.content:
e5ca22113280 Primitivus: profile manager
Goffi <goffi@goffi.org>
parents:
diff changeset
256 if widget.getState():
e5ca22113280 Primitivus: profile manager
Goffi <goffi@goffi.org>
parents:
diff changeset
257 widget.setState(False, invisible)
e5ca22113280 Primitivus: profile manager
Goffi <goffi@goffi.org>
parents:
diff changeset
258 widget._invalidate()
e5ca22113280 Primitivus: profile manager
Goffi <goffi@goffi.org>
parents:
diff changeset
259
116
7c482ecac0ff primitivus: basic contact list, connexion now work \o/
Goffi <goffi@goffi.org>
parents: 114
diff changeset
260 def deleteValue(self, value):
7c482ecac0ff primitivus: basic contact list, connexion now work \o/
Goffi <goffi@goffi.org>
parents: 114
diff changeset
261 """Delete the first value equal to the param given"""
119
ded2431cea5a Primitivus: chat window / text sending.
Goffi <goffi@goffi.org>
parents: 118
diff changeset
262 for widget in self.content:
ded2431cea5a Primitivus: chat window / text sending.
Goffi <goffi@goffi.org>
parents: 118
diff changeset
263 if widget.getValue() == value:
ded2431cea5a Primitivus: chat window / text sending.
Goffi <goffi@goffi.org>
parents: 118
diff changeset
264 self.content.remove(widget)
ded2431cea5a Primitivus: chat window / text sending.
Goffi <goffi@goffi.org>
parents: 118
diff changeset
265 self._emit('change')
ded2431cea5a Primitivus: chat window / text sending.
Goffi <goffi@goffi.org>
parents: 118
diff changeset
266 return
ded2431cea5a Primitivus: chat window / text sending.
Goffi <goffi@goffi.org>
parents: 118
diff changeset
267 raise ValueError("%s ==> %s" % (str(value),str(self.content)))
116
7c482ecac0ff primitivus: basic contact list, connexion now work \o/
Goffi <goffi@goffi.org>
parents: 114
diff changeset
268
119
ded2431cea5a Primitivus: chat window / text sending.
Goffi <goffi@goffi.org>
parents: 118
diff changeset
269 def getSelectedValue(self):
114
77f48939ad6e primitivus: added Alert widget
Goffi <goffi@goffi.org>
parents: 113
diff changeset
270 """Convenience method to get the value selected as a string in single mode, or None"""
119
ded2431cea5a Primitivus: chat window / text sending.
Goffi <goffi@goffi.org>
parents: 118
diff changeset
271 values = self.getSelectedValues()
114
77f48939ad6e primitivus: added Alert widget
Goffi <goffi@goffi.org>
parents: 113
diff changeset
272 return values[0] if values else None
77f48939ad6e primitivus: added Alert widget
Goffi <goffi@goffi.org>
parents: 113
diff changeset
273
119
ded2431cea5a Primitivus: chat window / text sending.
Goffi <goffi@goffi.org>
parents: 118
diff changeset
274 def getAllValues(self):
ded2431cea5a Primitivus: chat window / text sending.
Goffi <goffi@goffi.org>
parents: 118
diff changeset
275 """Return values of all items"""
ded2431cea5a Primitivus: chat window / text sending.
Goffi <goffi@goffi.org>
parents: 118
diff changeset
276 return [widget.getValue() for widget in self.content]
ded2431cea5a Primitivus: chat window / text sending.
Goffi <goffi@goffi.org>
parents: 118
diff changeset
277
ded2431cea5a Primitivus: chat window / text sending.
Goffi <goffi@goffi.org>
parents: 118
diff changeset
278 def getSelectedValues(self):
ded2431cea5a Primitivus: chat window / text sending.
Goffi <goffi@goffi.org>
parents: 118
diff changeset
279 """Return values of selected items"""
113
e5ca22113280 Primitivus: profile manager
Goffi <goffi@goffi.org>
parents:
diff changeset
280 result = []
e5ca22113280 Primitivus: profile manager
Goffi <goffi@goffi.org>
parents:
diff changeset
281 for widget in self.content:
e5ca22113280 Primitivus: profile manager
Goffi <goffi@goffi.org>
parents:
diff changeset
282 if widget.getState():
e5ca22113280 Primitivus: profile manager
Goffi <goffi@goffi.org>
parents:
diff changeset
283 result.append(widget.getValue())
e5ca22113280 Primitivus: profile manager
Goffi <goffi@goffi.org>
parents:
diff changeset
284 return result
e5ca22113280 Primitivus: profile manager
Goffi <goffi@goffi.org>
parents:
diff changeset
285
119
ded2431cea5a Primitivus: chat window / text sending.
Goffi <goffi@goffi.org>
parents: 118
diff changeset
286 def getDisplayWidget(self):
ded2431cea5a Primitivus: chat window / text sending.
Goffi <goffi@goffi.org>
parents: 118
diff changeset
287 return self.list_box
ded2431cea5a Primitivus: chat window / text sending.
Goffi <goffi@goffi.org>
parents: 118
diff changeset
288
113
e5ca22113280 Primitivus: profile manager
Goffi <goffi@goffi.org>
parents:
diff changeset
289 def changeValues(self, new_values):
116
7c482ecac0ff primitivus: basic contact list, connexion now work \o/
Goffi <goffi@goffi.org>
parents: 114
diff changeset
290 """Change all value in one shot"""
119
ded2431cea5a Primitivus: chat window / text sending.
Goffi <goffi@goffi.org>
parents: 118
diff changeset
291 if not self.first_display:
ded2431cea5a Primitivus: chat window / text sending.
Goffi <goffi@goffi.org>
parents: 118
diff changeset
292 old_selected = self.getSelectedValues()
ded2431cea5a Primitivus: chat window / text sending.
Goffi <goffi@goffi.org>
parents: 118
diff changeset
293 widgets = []
ded2431cea5a Primitivus: chat window / text sending.
Goffi <goffi@goffi.org>
parents: 118
diff changeset
294 for option in new_values:
124
961e0898271f primitivus chat window
Goffi <goffi@goffi.org>
parents: 121
diff changeset
295 widget = self.option_type(option, self.align)
119
ded2431cea5a Primitivus: chat window / text sending.
Goffi <goffi@goffi.org>
parents: 118
diff changeset
296 if not self.first_display and option in old_selected:
ded2431cea5a Primitivus: chat window / text sending.
Goffi <goffi@goffi.org>
parents: 118
diff changeset
297 widget.setState(True)
ded2431cea5a Primitivus: chat window / text sending.
Goffi <goffi@goffi.org>
parents: 118
diff changeset
298 widgets.append(widget)
124
961e0898271f primitivus chat window
Goffi <goffi@goffi.org>
parents: 121
diff changeset
299 try:
961e0898271f primitivus chat window
Goffi <goffi@goffi.org>
parents: 121
diff changeset
300 urwid.connect_signal(widget, 'change', self.__onStateChange)
961e0898271f primitivus chat window
Goffi <goffi@goffi.org>
parents: 121
diff changeset
301 except NameError:
961e0898271f primitivus chat window
Goffi <goffi@goffi.org>
parents: 121
diff changeset
302 pass #the widget given doesn't support 'change' signal
113
e5ca22113280 Primitivus: profile manager
Goffi <goffi@goffi.org>
parents:
diff changeset
303 self.content[:] = widgets
119
ded2431cea5a Primitivus: chat window / text sending.
Goffi <goffi@goffi.org>
parents: 118
diff changeset
304 if self.first_display and self.single and new_values and not self.no_first_select:
114
77f48939ad6e primitivus: added Alert widget
Goffi <goffi@goffi.org>
parents: 113
diff changeset
305 self.content[0].setState(True)
119
ded2431cea5a Primitivus: chat window / text sending.
Goffi <goffi@goffi.org>
parents: 118
diff changeset
306 display_widget = self.getDisplayWidget()
118
76055a209ed9 primitivus: added edition zone at the bottom
Goffi <goffi@goffi.org>
parents: 117
diff changeset
307 self._set_w(display_widget)
119
ded2431cea5a Primitivus: chat window / text sending.
Goffi <goffi@goffi.org>
parents: 118
diff changeset
308 self._emit('change')
ded2431cea5a Primitivus: chat window / text sending.
Goffi <goffi@goffi.org>
parents: 118
diff changeset
309 self.first_display = False
ded2431cea5a Primitivus: chat window / text sending.
Goffi <goffi@goffi.org>
parents: 118
diff changeset
310
113
e5ca22113280 Primitivus: profile manager
Goffi <goffi@goffi.org>
parents:
diff changeset
311 def selectValue(self, value):
e5ca22113280 Primitivus: profile manager
Goffi <goffi@goffi.org>
parents:
diff changeset
312 self.unselectAll()
e5ca22113280 Primitivus: profile manager
Goffi <goffi@goffi.org>
parents:
diff changeset
313 idx = 0
e5ca22113280 Primitivus: profile manager
Goffi <goffi@goffi.org>
parents:
diff changeset
314 for widget in self.content:
119
ded2431cea5a Primitivus: chat window / text sending.
Goffi <goffi@goffi.org>
parents: 118
diff changeset
315 if widget.getSelectedValue() == value:
113
e5ca22113280 Primitivus: profile manager
Goffi <goffi@goffi.org>
parents:
diff changeset
316 widget.setState(True)
e5ca22113280 Primitivus: profile manager
Goffi <goffi@goffi.org>
parents:
diff changeset
317 self.list_box.set_focus(idx)
e5ca22113280 Primitivus: profile manager
Goffi <goffi@goffi.org>
parents:
diff changeset
318 return
e5ca22113280 Primitivus: profile manager
Goffi <goffi@goffi.org>
parents:
diff changeset
319 idx+=1
e5ca22113280 Primitivus: profile manager
Goffi <goffi@goffi.org>
parents:
diff changeset
320
119
ded2431cea5a Primitivus: chat window / text sending.
Goffi <goffi@goffi.org>
parents: 118
diff changeset
321 class List(urwid.FlowWidget):
ded2431cea5a Primitivus: chat window / text sending.
Goffi <goffi@goffi.org>
parents: 118
diff changeset
322 """FlowWidget list, same arguments as GenericList, with an additional one 'max_height'"""
ded2431cea5a Primitivus: chat window / text sending.
Goffi <goffi@goffi.org>
parents: 118
diff changeset
323 signals = ['click','change']
ded2431cea5a Primitivus: chat window / text sending.
Goffi <goffi@goffi.org>
parents: 118
diff changeset
324
124
961e0898271f primitivus chat window
Goffi <goffi@goffi.org>
parents: 121
diff changeset
325 def __init__(self, options, style=[], max_height=5, align='left', option_type = SelectableText, on_click=None, on_change=None, user_data=None):
961e0898271f primitivus chat window
Goffi <goffi@goffi.org>
parents: 121
diff changeset
326 self.genericList = GenericList(options, style, align, option_type, on_click, on_change, user_data)
119
ded2431cea5a Primitivus: chat window / text sending.
Goffi <goffi@goffi.org>
parents: 118
diff changeset
327 self.max_height = max_height
ded2431cea5a Primitivus: chat window / text sending.
Goffi <goffi@goffi.org>
parents: 118
diff changeset
328
ded2431cea5a Primitivus: chat window / text sending.
Goffi <goffi@goffi.org>
parents: 118
diff changeset
329 def selectable(self):
ded2431cea5a Primitivus: chat window / text sending.
Goffi <goffi@goffi.org>
parents: 118
diff changeset
330 return True
ded2431cea5a Primitivus: chat window / text sending.
Goffi <goffi@goffi.org>
parents: 118
diff changeset
331
ded2431cea5a Primitivus: chat window / text sending.
Goffi <goffi@goffi.org>
parents: 118
diff changeset
332 def keypress(self, size, key):
ded2431cea5a Primitivus: chat window / text sending.
Goffi <goffi@goffi.org>
parents: 118
diff changeset
333 return self.displayWidget(size,True).keypress(size, key)
ded2431cea5a Primitivus: chat window / text sending.
Goffi <goffi@goffi.org>
parents: 118
diff changeset
334
ded2431cea5a Primitivus: chat window / text sending.
Goffi <goffi@goffi.org>
parents: 118
diff changeset
335 def unselectAll(self, invisible=False):
ded2431cea5a Primitivus: chat window / text sending.
Goffi <goffi@goffi.org>
parents: 118
diff changeset
336 return self.genericList.unselectAll(invisible)
ded2431cea5a Primitivus: chat window / text sending.
Goffi <goffi@goffi.org>
parents: 118
diff changeset
337
ded2431cea5a Primitivus: chat window / text sending.
Goffi <goffi@goffi.org>
parents: 118
diff changeset
338 def deleteValue(self, value):
ded2431cea5a Primitivus: chat window / text sending.
Goffi <goffi@goffi.org>
parents: 118
diff changeset
339 return self.genericList.deleteValue(value)
ded2431cea5a Primitivus: chat window / text sending.
Goffi <goffi@goffi.org>
parents: 118
diff changeset
340
ded2431cea5a Primitivus: chat window / text sending.
Goffi <goffi@goffi.org>
parents: 118
diff changeset
341 def getSelectedValue(self):
ded2431cea5a Primitivus: chat window / text sending.
Goffi <goffi@goffi.org>
parents: 118
diff changeset
342 return self.genericList.getSelectedValue()
ded2431cea5a Primitivus: chat window / text sending.
Goffi <goffi@goffi.org>
parents: 118
diff changeset
343
ded2431cea5a Primitivus: chat window / text sending.
Goffi <goffi@goffi.org>
parents: 118
diff changeset
344 def getAllValues(self):
ded2431cea5a Primitivus: chat window / text sending.
Goffi <goffi@goffi.org>
parents: 118
diff changeset
345 return self.genericList.getAllValues()
ded2431cea5a Primitivus: chat window / text sending.
Goffi <goffi@goffi.org>
parents: 118
diff changeset
346
ded2431cea5a Primitivus: chat window / text sending.
Goffi <goffi@goffi.org>
parents: 118
diff changeset
347 def getSelectedValues(self):
ded2431cea5a Primitivus: chat window / text sending.
Goffi <goffi@goffi.org>
parents: 118
diff changeset
348 return self.genericList.getSelectedValues()
ded2431cea5a Primitivus: chat window / text sending.
Goffi <goffi@goffi.org>
parents: 118
diff changeset
349
ded2431cea5a Primitivus: chat window / text sending.
Goffi <goffi@goffi.org>
parents: 118
diff changeset
350 def changeValues(self, new_values):
ded2431cea5a Primitivus: chat window / text sending.
Goffi <goffi@goffi.org>
parents: 118
diff changeset
351 return self.genericList.changeValues(new_values)
ded2431cea5a Primitivus: chat window / text sending.
Goffi <goffi@goffi.org>
parents: 118
diff changeset
352
ded2431cea5a Primitivus: chat window / text sending.
Goffi <goffi@goffi.org>
parents: 118
diff changeset
353 def selectValue(self, value):
ded2431cea5a Primitivus: chat window / text sending.
Goffi <goffi@goffi.org>
parents: 118
diff changeset
354 return self.genericList.selectValue(value)
ded2431cea5a Primitivus: chat window / text sending.
Goffi <goffi@goffi.org>
parents: 118
diff changeset
355
ded2431cea5a Primitivus: chat window / text sending.
Goffi <goffi@goffi.org>
parents: 118
diff changeset
356 def render(self, size, focus=False):
ded2431cea5a Primitivus: chat window / text sending.
Goffi <goffi@goffi.org>
parents: 118
diff changeset
357 return self.displayWidget(size, focus).render(size, focus)
ded2431cea5a Primitivus: chat window / text sending.
Goffi <goffi@goffi.org>
parents: 118
diff changeset
358
ded2431cea5a Primitivus: chat window / text sending.
Goffi <goffi@goffi.org>
parents: 118
diff changeset
359 def rows(self, size, focus=False):
ded2431cea5a Primitivus: chat window / text sending.
Goffi <goffi@goffi.org>
parents: 118
diff changeset
360 return self.displayWidget(size, focus).rows(size, focus)
ded2431cea5a Primitivus: chat window / text sending.
Goffi <goffi@goffi.org>
parents: 118
diff changeset
361
ded2431cea5a Primitivus: chat window / text sending.
Goffi <goffi@goffi.org>
parents: 118
diff changeset
362 def displayWidget(self, size, focus):
ded2431cea5a Primitivus: chat window / text sending.
Goffi <goffi@goffi.org>
parents: 118
diff changeset
363 list_size = sum([wid.rows(size, focus) for wid in self.genericList.content])
120
1ca5f254ce41 primitivus group chat & misc
Goffi <goffi@goffi.org>
parents: 119
diff changeset
364 height = min(list_size,self.max_height) or 1
119
ded2431cea5a Primitivus: chat window / text sending.
Goffi <goffi@goffi.org>
parents: 118
diff changeset
365 return urwid.BoxAdapter(self.genericList, height)
ded2431cea5a Primitivus: chat window / text sending.
Goffi <goffi@goffi.org>
parents: 118
diff changeset
366
128
2240f34f6452 Primitivus: misc fixes + menubar first draft
Goffi <goffi@goffi.org>
parents: 125
diff changeset
367 ## MISC ##
2240f34f6452 Primitivus: misc fixes + menubar first draft
Goffi <goffi@goffi.org>
parents: 125
diff changeset
368
159
2fa58703f1b7 Primitivus: notification bar, first draft
Goffi <goffi@goffi.org>
parents: 151
diff changeset
369 class NotificationBar(urwid.WidgetWrap):
2fa58703f1b7 Primitivus: notification bar, first draft
Goffi <goffi@goffi.org>
parents: 151
diff changeset
370 """Bar used to show misc information to user"""
2fa58703f1b7 Primitivus: notification bar, first draft
Goffi <goffi@goffi.org>
parents: 151
diff changeset
371 signals = ['change']
2fa58703f1b7 Primitivus: notification bar, first draft
Goffi <goffi@goffi.org>
parents: 151
diff changeset
372
2fa58703f1b7 Primitivus: notification bar, first draft
Goffi <goffi@goffi.org>
parents: 151
diff changeset
373 def __init__(self):
2fa58703f1b7 Primitivus: notification bar, first draft
Goffi <goffi@goffi.org>
parents: 151
diff changeset
374 self.waitNotifs = urwid.Text('')
2fa58703f1b7 Primitivus: notification bar, first draft
Goffi <goffi@goffi.org>
parents: 151
diff changeset
375 self.message = ClickableText('', default_attr='notifs')
2fa58703f1b7 Primitivus: notification bar, first draft
Goffi <goffi@goffi.org>
parents: 151
diff changeset
376 urwid.connect_signal(self.message, 'click', lambda wid: self.showNext())
2fa58703f1b7 Primitivus: notification bar, first draft
Goffi <goffi@goffi.org>
parents: 151
diff changeset
377 self.columns = urwid.Columns([('fixed',6,self.waitNotifs),self.message])
2fa58703f1b7 Primitivus: notification bar, first draft
Goffi <goffi@goffi.org>
parents: 151
diff changeset
378 urwid.WidgetWrap.__init__(self, urwid.AttrMap(self.columns,'notifs'))
2fa58703f1b7 Primitivus: notification bar, first draft
Goffi <goffi@goffi.org>
parents: 151
diff changeset
379 self.notifs = []
2fa58703f1b7 Primitivus: notification bar, first draft
Goffi <goffi@goffi.org>
parents: 151
diff changeset
380
2fa58703f1b7 Primitivus: notification bar, first draft
Goffi <goffi@goffi.org>
parents: 151
diff changeset
381 def __modQueue(self):
2fa58703f1b7 Primitivus: notification bar, first draft
Goffi <goffi@goffi.org>
parents: 151
diff changeset
382 """must be called each time the notifications queue is changed"""
2fa58703f1b7 Primitivus: notification bar, first draft
Goffi <goffi@goffi.org>
parents: 151
diff changeset
383 self.waitNotifs.set_text("(%i)" % len(self.notifs) if self.notifs else '')
2fa58703f1b7 Primitivus: notification bar, first draft
Goffi <goffi@goffi.org>
parents: 151
diff changeset
384 self._emit('change')
2fa58703f1b7 Primitivus: notification bar, first draft
Goffi <goffi@goffi.org>
parents: 151
diff changeset
385
2fa58703f1b7 Primitivus: notification bar, first draft
Goffi <goffi@goffi.org>
parents: 151
diff changeset
386 def addPopUp(self, pop_up_widget):
2fa58703f1b7 Primitivus: notification bar, first draft
Goffi <goffi@goffi.org>
parents: 151
diff changeset
387 """Add a popup to the waiting queue"""
2fa58703f1b7 Primitivus: notification bar, first draft
Goffi <goffi@goffi.org>
parents: 151
diff changeset
388 self.notifs.append(('popup',pop_up_widget))
2fa58703f1b7 Primitivus: notification bar, first draft
Goffi <goffi@goffi.org>
parents: 151
diff changeset
389 self.__modQueue()
2fa58703f1b7 Primitivus: notification bar, first draft
Goffi <goffi@goffi.org>
parents: 151
diff changeset
390
2fa58703f1b7 Primitivus: notification bar, first draft
Goffi <goffi@goffi.org>
parents: 151
diff changeset
391 def addMessage(self, message):
2fa58703f1b7 Primitivus: notification bar, first draft
Goffi <goffi@goffi.org>
parents: 151
diff changeset
392 "Add a message to the notificatio bar"
2fa58703f1b7 Primitivus: notification bar, first draft
Goffi <goffi@goffi.org>
parents: 151
diff changeset
393 if not self.message.get_text():
2fa58703f1b7 Primitivus: notification bar, first draft
Goffi <goffi@goffi.org>
parents: 151
diff changeset
394 self.message.set_text(message)
2fa58703f1b7 Primitivus: notification bar, first draft
Goffi <goffi@goffi.org>
parents: 151
diff changeset
395 self._invalidate()
2fa58703f1b7 Primitivus: notification bar, first draft
Goffi <goffi@goffi.org>
parents: 151
diff changeset
396 self._emit('change')
2fa58703f1b7 Primitivus: notification bar, first draft
Goffi <goffi@goffi.org>
parents: 151
diff changeset
397 else:
2fa58703f1b7 Primitivus: notification bar, first draft
Goffi <goffi@goffi.org>
parents: 151
diff changeset
398 self.notifs.append(('message',message))
2fa58703f1b7 Primitivus: notification bar, first draft
Goffi <goffi@goffi.org>
parents: 151
diff changeset
399 self.__modQueue()
2fa58703f1b7 Primitivus: notification bar, first draft
Goffi <goffi@goffi.org>
parents: 151
diff changeset
400
2fa58703f1b7 Primitivus: notification bar, first draft
Goffi <goffi@goffi.org>
parents: 151
diff changeset
401 def showNext(self):
2fa58703f1b7 Primitivus: notification bar, first draft
Goffi <goffi@goffi.org>
parents: 151
diff changeset
402 """Show next message if any, else delete current message"""
2fa58703f1b7 Primitivus: notification bar, first draft
Goffi <goffi@goffi.org>
parents: 151
diff changeset
403 found = None
2fa58703f1b7 Primitivus: notification bar, first draft
Goffi <goffi@goffi.org>
parents: 151
diff changeset
404 for notif in self.notifs:
2fa58703f1b7 Primitivus: notification bar, first draft
Goffi <goffi@goffi.org>
parents: 151
diff changeset
405 if notif[0] == "message":
2fa58703f1b7 Primitivus: notification bar, first draft
Goffi <goffi@goffi.org>
parents: 151
diff changeset
406 found = notif
2fa58703f1b7 Primitivus: notification bar, first draft
Goffi <goffi@goffi.org>
parents: 151
diff changeset
407 break
2fa58703f1b7 Primitivus: notification bar, first draft
Goffi <goffi@goffi.org>
parents: 151
diff changeset
408 if found:
2fa58703f1b7 Primitivus: notification bar, first draft
Goffi <goffi@goffi.org>
parents: 151
diff changeset
409 self.notifs.remove(found)
2fa58703f1b7 Primitivus: notification bar, first draft
Goffi <goffi@goffi.org>
parents: 151
diff changeset
410 self.message.set_text(found[1])
2fa58703f1b7 Primitivus: notification bar, first draft
Goffi <goffi@goffi.org>
parents: 151
diff changeset
411 self.__modQueue()
2fa58703f1b7 Primitivus: notification bar, first draft
Goffi <goffi@goffi.org>
parents: 151
diff changeset
412 else:
2fa58703f1b7 Primitivus: notification bar, first draft
Goffi <goffi@goffi.org>
parents: 151
diff changeset
413 self.message.set_text('')
2fa58703f1b7 Primitivus: notification bar, first draft
Goffi <goffi@goffi.org>
parents: 151
diff changeset
414 self._emit('change')
2fa58703f1b7 Primitivus: notification bar, first draft
Goffi <goffi@goffi.org>
parents: 151
diff changeset
415
2fa58703f1b7 Primitivus: notification bar, first draft
Goffi <goffi@goffi.org>
parents: 151
diff changeset
416 def getNextPopup(self):
2fa58703f1b7 Primitivus: notification bar, first draft
Goffi <goffi@goffi.org>
parents: 151
diff changeset
417 """Return next pop-up and remove it from the queue
2fa58703f1b7 Primitivus: notification bar, first draft
Goffi <goffi@goffi.org>
parents: 151
diff changeset
418 @return: pop-up or None if there is no more in the queue"""
2fa58703f1b7 Primitivus: notification bar, first draft
Goffi <goffi@goffi.org>
parents: 151
diff changeset
419 ret = None
2fa58703f1b7 Primitivus: notification bar, first draft
Goffi <goffi@goffi.org>
parents: 151
diff changeset
420 for notif in self.notifs:
2fa58703f1b7 Primitivus: notification bar, first draft
Goffi <goffi@goffi.org>
parents: 151
diff changeset
421 if notif[0] == 'popup':
2fa58703f1b7 Primitivus: notification bar, first draft
Goffi <goffi@goffi.org>
parents: 151
diff changeset
422 ret = notif[1]
2fa58703f1b7 Primitivus: notification bar, first draft
Goffi <goffi@goffi.org>
parents: 151
diff changeset
423 break
2fa58703f1b7 Primitivus: notification bar, first draft
Goffi <goffi@goffi.org>
parents: 151
diff changeset
424 if ret:
2fa58703f1b7 Primitivus: notification bar, first draft
Goffi <goffi@goffi.org>
parents: 151
diff changeset
425 self.notifs.remove(notif)
2fa58703f1b7 Primitivus: notification bar, first draft
Goffi <goffi@goffi.org>
parents: 151
diff changeset
426 self.__modQueue()
2fa58703f1b7 Primitivus: notification bar, first draft
Goffi <goffi@goffi.org>
parents: 151
diff changeset
427 return ret
2fa58703f1b7 Primitivus: notification bar, first draft
Goffi <goffi@goffi.org>
parents: 151
diff changeset
428
2fa58703f1b7 Primitivus: notification bar, first draft
Goffi <goffi@goffi.org>
parents: 151
diff changeset
429 def isQueueEmpty(self):
2fa58703f1b7 Primitivus: notification bar, first draft
Goffi <goffi@goffi.org>
parents: 151
diff changeset
430 return not bool(self.notifs)
2fa58703f1b7 Primitivus: notification bar, first draft
Goffi <goffi@goffi.org>
parents: 151
diff changeset
431
2fa58703f1b7 Primitivus: notification bar, first draft
Goffi <goffi@goffi.org>
parents: 151
diff changeset
432 def canHide(self):
2fa58703f1b7 Primitivus: notification bar, first draft
Goffi <goffi@goffi.org>
parents: 151
diff changeset
433 """Return True if there is now important information to show"""
2fa58703f1b7 Primitivus: notification bar, first draft
Goffi <goffi@goffi.org>
parents: 151
diff changeset
434 return self.isQueueEmpty() and not self.message.get_text()
2fa58703f1b7 Primitivus: notification bar, first draft
Goffi <goffi@goffi.org>
parents: 151
diff changeset
435
2fa58703f1b7 Primitivus: notification bar, first draft
Goffi <goffi@goffi.org>
parents: 151
diff changeset
436
131
6cad483a6d84 Primitivus: menu is now working
Goffi <goffi@goffi.org>
parents: 128
diff changeset
437 class MenuBox(urwid.WidgetWrap):
151
7fcb4f083686 Primitivus: custom_widgets imrpovments
Goffi <goffi@goffi.org>
parents: 144
diff changeset
438 """Show menu items of a category in a box"""
131
6cad483a6d84 Primitivus: menu is now working
Goffi <goffi@goffi.org>
parents: 128
diff changeset
439 signals = ['click']
6cad483a6d84 Primitivus: menu is now working
Goffi <goffi@goffi.org>
parents: 128
diff changeset
440
6cad483a6d84 Primitivus: menu is now working
Goffi <goffi@goffi.org>
parents: 128
diff changeset
441 def __init__(self,parent,items):
6cad483a6d84 Primitivus: menu is now working
Goffi <goffi@goffi.org>
parents: 128
diff changeset
442 self.parent = parent
6cad483a6d84 Primitivus: menu is now working
Goffi <goffi@goffi.org>
parents: 128
diff changeset
443 self.selected = None
6cad483a6d84 Primitivus: menu is now working
Goffi <goffi@goffi.org>
parents: 128
diff changeset
444 content = urwid.SimpleListWalker([ClickableText(text,default_attr='menuitem') for text in items])
6cad483a6d84 Primitivus: menu is now working
Goffi <goffi@goffi.org>
parents: 128
diff changeset
445 for wid in content:
6cad483a6d84 Primitivus: menu is now working
Goffi <goffi@goffi.org>
parents: 128
diff changeset
446 urwid.connect_signal(wid, 'click', self.onClick)
6cad483a6d84 Primitivus: menu is now working
Goffi <goffi@goffi.org>
parents: 128
diff changeset
447
6cad483a6d84 Primitivus: menu is now working
Goffi <goffi@goffi.org>
parents: 128
diff changeset
448 self.listBox = urwid.ListBox(content)
6cad483a6d84 Primitivus: menu is now working
Goffi <goffi@goffi.org>
parents: 128
diff changeset
449 menubox = urwid.LineBox(urwid.BoxAdapter(self.listBox,len(items)))
6cad483a6d84 Primitivus: menu is now working
Goffi <goffi@goffi.org>
parents: 128
diff changeset
450 urwid.WidgetWrap.__init__(self,menubox)
6cad483a6d84 Primitivus: menu is now working
Goffi <goffi@goffi.org>
parents: 128
diff changeset
451
6cad483a6d84 Primitivus: menu is now working
Goffi <goffi@goffi.org>
parents: 128
diff changeset
452 def getValue(self):
6cad483a6d84 Primitivus: menu is now working
Goffi <goffi@goffi.org>
parents: 128
diff changeset
453 return self.selected
6cad483a6d84 Primitivus: menu is now working
Goffi <goffi@goffi.org>
parents: 128
diff changeset
454
6cad483a6d84 Primitivus: menu is now working
Goffi <goffi@goffi.org>
parents: 128
diff changeset
455 def keypress(self, size, key):
6cad483a6d84 Primitivus: menu is now working
Goffi <goffi@goffi.org>
parents: 128
diff changeset
456 if key=='up':
6cad483a6d84 Primitivus: menu is now working
Goffi <goffi@goffi.org>
parents: 128
diff changeset
457 if self.listBox.get_focus()[1] == 0:
6cad483a6d84 Primitivus: menu is now working
Goffi <goffi@goffi.org>
parents: 128
diff changeset
458 self.parent.keypress(size, key)
6cad483a6d84 Primitivus: menu is now working
Goffi <goffi@goffi.org>
parents: 128
diff changeset
459 elif key=='left' or key=='right':
6cad483a6d84 Primitivus: menu is now working
Goffi <goffi@goffi.org>
parents: 128
diff changeset
460 self.parent.keypress(size,'up')
6cad483a6d84 Primitivus: menu is now working
Goffi <goffi@goffi.org>
parents: 128
diff changeset
461 self.parent.keypress(size,key)
6cad483a6d84 Primitivus: menu is now working
Goffi <goffi@goffi.org>
parents: 128
diff changeset
462 return super(MenuBox,self).keypress(size,key)
6cad483a6d84 Primitivus: menu is now working
Goffi <goffi@goffi.org>
parents: 128
diff changeset
463
6cad483a6d84 Primitivus: menu is now working
Goffi <goffi@goffi.org>
parents: 128
diff changeset
464 def onClick(self, wid):
6cad483a6d84 Primitivus: menu is now working
Goffi <goffi@goffi.org>
parents: 128
diff changeset
465 self.selected = wid.getValue()
6cad483a6d84 Primitivus: menu is now working
Goffi <goffi@goffi.org>
parents: 128
diff changeset
466 self._emit('click')
6cad483a6d84 Primitivus: menu is now working
Goffi <goffi@goffi.org>
parents: 128
diff changeset
467
128
2240f34f6452 Primitivus: misc fixes + menubar first draft
Goffi <goffi@goffi.org>
parents: 125
diff changeset
468 class Menu(urwid.FlowWidget):
2240f34f6452 Primitivus: misc fixes + menubar first draft
Goffi <goffi@goffi.org>
parents: 125
diff changeset
469
137
227394eb080c Primitivus: menu are now managed and fully working
Goffi <goffi@goffi.org>
parents: 131
diff changeset
470 def __init__(self,loop, x_orig=0):
227394eb080c Primitivus: menu are now managed and fully working
Goffi <goffi@goffi.org>
parents: 131
diff changeset
471 """Menu widget
227394eb080c Primitivus: menu are now managed and fully working
Goffi <goffi@goffi.org>
parents: 131
diff changeset
472 @param loop: main loop of urwid
227394eb080c Primitivus: menu are now managed and fully working
Goffi <goffi@goffi.org>
parents: 131
diff changeset
473 @param x_orig: absolute start of the abscissa
227394eb080c Primitivus: menu are now managed and fully working
Goffi <goffi@goffi.org>
parents: 131
diff changeset
474 """
128
2240f34f6452 Primitivus: misc fixes + menubar first draft
Goffi <goffi@goffi.org>
parents: 125
diff changeset
475 super(Menu, self).__init__()
131
6cad483a6d84 Primitivus: menu is now working
Goffi <goffi@goffi.org>
parents: 128
diff changeset
476 self.loop = loop
6cad483a6d84 Primitivus: menu is now working
Goffi <goffi@goffi.org>
parents: 128
diff changeset
477 self.menu_keys = []
6cad483a6d84 Primitivus: menu is now working
Goffi <goffi@goffi.org>
parents: 128
diff changeset
478 self.menu = {}
137
227394eb080c Primitivus: menu are now managed and fully working
Goffi <goffi@goffi.org>
parents: 131
diff changeset
479 self.x_orig = x_orig
128
2240f34f6452 Primitivus: misc fixes + menubar first draft
Goffi <goffi@goffi.org>
parents: 125
diff changeset
480 self.shortcuts = {} #keyboard shortcuts
131
6cad483a6d84 Primitivus: menu is now working
Goffi <goffi@goffi.org>
parents: 128
diff changeset
481 self.focus_menu = 0
6cad483a6d84 Primitivus: menu is now working
Goffi <goffi@goffi.org>
parents: 128
diff changeset
482 self.save_bottom = None
6cad483a6d84 Primitivus: menu is now working
Goffi <goffi@goffi.org>
parents: 128
diff changeset
483
6cad483a6d84 Primitivus: menu is now working
Goffi <goffi@goffi.org>
parents: 128
diff changeset
484 def selectable(self):
6cad483a6d84 Primitivus: menu is now working
Goffi <goffi@goffi.org>
parents: 128
diff changeset
485 return True
139
e7b8871e9f52 Primitivus: menu roller doesn't go anymore on a menu if it's empty
Goffi <goffi@goffi.org>
parents: 137
diff changeset
486
e7b8871e9f52 Primitivus: menu roller doesn't go anymore on a menu if it's empty
Goffi <goffi@goffi.org>
parents: 137
diff changeset
487 def getMenuSize(self):
e7b8871e9f52 Primitivus: menu roller doesn't go anymore on a menu if it's empty
Goffi <goffi@goffi.org>
parents: 137
diff changeset
488 """return the current number of categories in this menu"""
e7b8871e9f52 Primitivus: menu roller doesn't go anymore on a menu if it's empty
Goffi <goffi@goffi.org>
parents: 137
diff changeset
489 return len(self.menu_keys)
137
227394eb080c Primitivus: menu are now managed and fully working
Goffi <goffi@goffi.org>
parents: 131
diff changeset
490
227394eb080c Primitivus: menu are now managed and fully working
Goffi <goffi@goffi.org>
parents: 131
diff changeset
491 def setOrigX(self, orig_x):
227394eb080c Primitivus: menu are now managed and fully working
Goffi <goffi@goffi.org>
parents: 131
diff changeset
492 self.x_orig = orig_x
227394eb080c Primitivus: menu are now managed and fully working
Goffi <goffi@goffi.org>
parents: 131
diff changeset
493
131
6cad483a6d84 Primitivus: menu is now working
Goffi <goffi@goffi.org>
parents: 128
diff changeset
494 def __buildOverlay(self,menu_key,columns):
6cad483a6d84 Primitivus: menu is now working
Goffi <goffi@goffi.org>
parents: 128
diff changeset
495 """Build the overlay menu which show menuitems
6cad483a6d84 Primitivus: menu is now working
Goffi <goffi@goffi.org>
parents: 128
diff changeset
496 @param menu_key: name of the category
6cad483a6d84 Primitivus: menu is now working
Goffi <goffi@goffi.org>
parents: 128
diff changeset
497 @colums: column number where the menubox must be displayed"""
6cad483a6d84 Primitivus: menu is now working
Goffi <goffi@goffi.org>
parents: 128
diff changeset
498 max_len = 0
6cad483a6d84 Primitivus: menu is now working
Goffi <goffi@goffi.org>
parents: 128
diff changeset
499 for item in self.menu[menu_key]:
6cad483a6d84 Primitivus: menu is now working
Goffi <goffi@goffi.org>
parents: 128
diff changeset
500 if len(item[0]) > max_len:
6cad483a6d84 Primitivus: menu is now working
Goffi <goffi@goffi.org>
parents: 128
diff changeset
501 max_len = len(item[0])
6cad483a6d84 Primitivus: menu is now working
Goffi <goffi@goffi.org>
parents: 128
diff changeset
502
6cad483a6d84 Primitivus: menu is now working
Goffi <goffi@goffi.org>
parents: 128
diff changeset
503 self.save_bottom = self.loop.widget
6cad483a6d84 Primitivus: menu is now working
Goffi <goffi@goffi.org>
parents: 128
diff changeset
504 menu_box = MenuBox(self,[item[0] for item in self.menu[menu_key]])
6cad483a6d84 Primitivus: menu is now working
Goffi <goffi@goffi.org>
parents: 128
diff changeset
505 urwid.connect_signal(menu_box, 'click', self.onClick)
6cad483a6d84 Primitivus: menu is now working
Goffi <goffi@goffi.org>
parents: 128
diff changeset
506
6cad483a6d84 Primitivus: menu is now working
Goffi <goffi@goffi.org>
parents: 128
diff changeset
507 self.loop.widget = urwid.Overlay(urwid.AttrMap(menu_box,'menubar'),self.save_bottom,('fixed left', columns),max_len+2,('fixed top',1),None)
6cad483a6d84 Primitivus: menu is now working
Goffi <goffi@goffi.org>
parents: 128
diff changeset
508
6cad483a6d84 Primitivus: menu is now working
Goffi <goffi@goffi.org>
parents: 128
diff changeset
509 def keypress(self, size, key):
6cad483a6d84 Primitivus: menu is now working
Goffi <goffi@goffi.org>
parents: 128
diff changeset
510 if key == 'right' and self.focus_menu < len(self.menu)-1:
6cad483a6d84 Primitivus: menu is now working
Goffi <goffi@goffi.org>
parents: 128
diff changeset
511 self.focus_menu += 1
6cad483a6d84 Primitivus: menu is now working
Goffi <goffi@goffi.org>
parents: 128
diff changeset
512 self._invalidate()
6cad483a6d84 Primitivus: menu is now working
Goffi <goffi@goffi.org>
parents: 128
diff changeset
513 elif key == 'left' and self.focus_menu > 0:
6cad483a6d84 Primitivus: menu is now working
Goffi <goffi@goffi.org>
parents: 128
diff changeset
514 self.focus_menu -= 1
6cad483a6d84 Primitivus: menu is now working
Goffi <goffi@goffi.org>
parents: 128
diff changeset
515 self._invalidate()
137
227394eb080c Primitivus: menu are now managed and fully working
Goffi <goffi@goffi.org>
parents: 131
diff changeset
516 return
131
6cad483a6d84 Primitivus: menu is now working
Goffi <goffi@goffi.org>
parents: 128
diff changeset
517 elif key == 'down':
137
227394eb080c Primitivus: menu are now managed and fully working
Goffi <goffi@goffi.org>
parents: 131
diff changeset
518 if self.menu_keys and not self.save_bottom:
227394eb080c Primitivus: menu are now managed and fully working
Goffi <goffi@goffi.org>
parents: 131
diff changeset
519 column = sum([len(menu)+4 for menu in self.menu_keys[0:self.focus_menu]],self.focus_menu+self.x_orig)
131
6cad483a6d84 Primitivus: menu is now working
Goffi <goffi@goffi.org>
parents: 128
diff changeset
520 self.__buildOverlay(self.menu_keys[self.focus_menu],column)
6cad483a6d84 Primitivus: menu is now working
Goffi <goffi@goffi.org>
parents: 128
diff changeset
521 elif key == 'up':
6cad483a6d84 Primitivus: menu is now working
Goffi <goffi@goffi.org>
parents: 128
diff changeset
522 if self.save_bottom:
6cad483a6d84 Primitivus: menu is now working
Goffi <goffi@goffi.org>
parents: 128
diff changeset
523 self.loop.widget = self.save_bottom
6cad483a6d84 Primitivus: menu is now working
Goffi <goffi@goffi.org>
parents: 128
diff changeset
524 self.save_bottom = None
6cad483a6d84 Primitivus: menu is now working
Goffi <goffi@goffi.org>
parents: 128
diff changeset
525
6cad483a6d84 Primitivus: menu is now working
Goffi <goffi@goffi.org>
parents: 128
diff changeset
526 return key
128
2240f34f6452 Primitivus: misc fixes + menubar first draft
Goffi <goffi@goffi.org>
parents: 125
diff changeset
527
2240f34f6452 Primitivus: misc fixes + menubar first draft
Goffi <goffi@goffi.org>
parents: 125
diff changeset
528 def checkShortcuts(self, key):
2240f34f6452 Primitivus: misc fixes + menubar first draft
Goffi <goffi@goffi.org>
parents: 125
diff changeset
529 for shortcut in self.shortcuts.keys():
2240f34f6452 Primitivus: misc fixes + menubar first draft
Goffi <goffi@goffi.org>
parents: 125
diff changeset
530 if key == shortcut:
131
6cad483a6d84 Primitivus: menu is now working
Goffi <goffi@goffi.org>
parents: 128
diff changeset
531 category, item, callback = self.shortcuts[shortcut]
128
2240f34f6452 Primitivus: misc fixes + menubar first draft
Goffi <goffi@goffi.org>
parents: 125
diff changeset
532 callback((category, item))
2240f34f6452 Primitivus: misc fixes + menubar first draft
Goffi <goffi@goffi.org>
parents: 125
diff changeset
533 return key
2240f34f6452 Primitivus: misc fixes + menubar first draft
Goffi <goffi@goffi.org>
parents: 125
diff changeset
534
2240f34f6452 Primitivus: misc fixes + menubar first draft
Goffi <goffi@goffi.org>
parents: 125
diff changeset
535 def addMenu(self, category, item, callback, shortcut=None):
2240f34f6452 Primitivus: misc fixes + menubar first draft
Goffi <goffi@goffi.org>
parents: 125
diff changeset
536 """Add a menu item, create the category if new
2240f34f6452 Primitivus: misc fixes + menubar first draft
Goffi <goffi@goffi.org>
parents: 125
diff changeset
537 @param category: category of the menu (e.g. File/Edit)
2240f34f6452 Primitivus: misc fixes + menubar first draft
Goffi <goffi@goffi.org>
parents: 125
diff changeset
538 @param item: menu item (e.g. new/close/about)
2240f34f6452 Primitivus: misc fixes + menubar first draft
Goffi <goffi@goffi.org>
parents: 125
diff changeset
539 @callback: method to call when item is selected"""
2240f34f6452 Primitivus: misc fixes + menubar first draft
Goffi <goffi@goffi.org>
parents: 125
diff changeset
540 if not category in self.menu.keys():
2240f34f6452 Primitivus: misc fixes + menubar first draft
Goffi <goffi@goffi.org>
parents: 125
diff changeset
541 self.menu_keys.append(category)
2240f34f6452 Primitivus: misc fixes + menubar first draft
Goffi <goffi@goffi.org>
parents: 125
diff changeset
542 self.menu[category] = []
131
6cad483a6d84 Primitivus: menu is now working
Goffi <goffi@goffi.org>
parents: 128
diff changeset
543 self.menu[category].append((item, callback))
128
2240f34f6452 Primitivus: misc fixes + menubar first draft
Goffi <goffi@goffi.org>
parents: 125
diff changeset
544 if shortcut:
2240f34f6452 Primitivus: misc fixes + menubar first draft
Goffi <goffi@goffi.org>
parents: 125
diff changeset
545 assert(shortcut not in self.shortcuts.keys())
2240f34f6452 Primitivus: misc fixes + menubar first draft
Goffi <goffi@goffi.org>
parents: 125
diff changeset
546 self.shortcuts[shortcut] = (category, item, callback)
2240f34f6452 Primitivus: misc fixes + menubar first draft
Goffi <goffi@goffi.org>
parents: 125
diff changeset
547
2240f34f6452 Primitivus: misc fixes + menubar first draft
Goffi <goffi@goffi.org>
parents: 125
diff changeset
548 def rows(self,size,focus=False):
2240f34f6452 Primitivus: misc fixes + menubar first draft
Goffi <goffi@goffi.org>
parents: 125
diff changeset
549 return self.display_widget(size, focus).rows(size, focus)
2240f34f6452 Primitivus: misc fixes + menubar first draft
Goffi <goffi@goffi.org>
parents: 125
diff changeset
550
2240f34f6452 Primitivus: misc fixes + menubar first draft
Goffi <goffi@goffi.org>
parents: 125
diff changeset
551 def render(self, size, focus=False):
2240f34f6452 Primitivus: misc fixes + menubar first draft
Goffi <goffi@goffi.org>
parents: 125
diff changeset
552 return self.display_widget(size, focus).render(size, focus)
2240f34f6452 Primitivus: misc fixes + menubar first draft
Goffi <goffi@goffi.org>
parents: 125
diff changeset
553
2240f34f6452 Primitivus: misc fixes + menubar first draft
Goffi <goffi@goffi.org>
parents: 125
diff changeset
554 def display_widget(self, size, focus):
2240f34f6452 Primitivus: misc fixes + menubar first draft
Goffi <goffi@goffi.org>
parents: 125
diff changeset
555 render_txt = []
131
6cad483a6d84 Primitivus: menu is now working
Goffi <goffi@goffi.org>
parents: 128
diff changeset
556 idx = 0
128
2240f34f6452 Primitivus: misc fixes + menubar first draft
Goffi <goffi@goffi.org>
parents: 125
diff changeset
557 for menu in self.menu_keys:
131
6cad483a6d84 Primitivus: menu is now working
Goffi <goffi@goffi.org>
parents: 128
diff changeset
558 if focus and idx == self.focus_menu:
6cad483a6d84 Primitivus: menu is now working
Goffi <goffi@goffi.org>
parents: 128
diff changeset
559 render_txt.append(('selected_menu', '[ %s ]' % menu))
6cad483a6d84 Primitivus: menu is now working
Goffi <goffi@goffi.org>
parents: 128
diff changeset
560 render_txt.append(' ')
6cad483a6d84 Primitivus: menu is now working
Goffi <goffi@goffi.org>
parents: 128
diff changeset
561 else:
6cad483a6d84 Primitivus: menu is now working
Goffi <goffi@goffi.org>
parents: 128
diff changeset
562 render_txt.append('[ %s ] ' % menu)
6cad483a6d84 Primitivus: menu is now working
Goffi <goffi@goffi.org>
parents: 128
diff changeset
563 idx += 1
128
2240f34f6452 Primitivus: misc fixes + menubar first draft
Goffi <goffi@goffi.org>
parents: 125
diff changeset
564 return urwid.AttrMap(urwid.Text(render_txt), 'menubar')
2240f34f6452 Primitivus: misc fixes + menubar first draft
Goffi <goffi@goffi.org>
parents: 125
diff changeset
565
131
6cad483a6d84 Primitivus: menu is now working
Goffi <goffi@goffi.org>
parents: 128
diff changeset
566 def onClick(self, widget):
6cad483a6d84 Primitivus: menu is now working
Goffi <goffi@goffi.org>
parents: 128
diff changeset
567 category = self.menu_keys[self.focus_menu]
6cad483a6d84 Primitivus: menu is now working
Goffi <goffi@goffi.org>
parents: 128
diff changeset
568 item = widget.getValue()
6cad483a6d84 Primitivus: menu is now working
Goffi <goffi@goffi.org>
parents: 128
diff changeset
569 for menu_item in self.menu[category]:
6cad483a6d84 Primitivus: menu is now working
Goffi <goffi@goffi.org>
parents: 128
diff changeset
570 if item == menu_item[0]:
6cad483a6d84 Primitivus: menu is now working
Goffi <goffi@goffi.org>
parents: 128
diff changeset
571 callback = menu_item[1]
6cad483a6d84 Primitivus: menu is now working
Goffi <goffi@goffi.org>
parents: 128
diff changeset
572 break
6cad483a6d84 Primitivus: menu is now working
Goffi <goffi@goffi.org>
parents: 128
diff changeset
573 if callback:
6cad483a6d84 Primitivus: menu is now working
Goffi <goffi@goffi.org>
parents: 128
diff changeset
574 self.keypress(None,'up')
6cad483a6d84 Primitivus: menu is now working
Goffi <goffi@goffi.org>
parents: 128
diff changeset
575 callback((category, item))
6cad483a6d84 Primitivus: menu is now working
Goffi <goffi@goffi.org>
parents: 128
diff changeset
576
137
227394eb080c Primitivus: menu are now managed and fully working
Goffi <goffi@goffi.org>
parents: 131
diff changeset
577 class MenuRoller(urwid.WidgetWrap):
227394eb080c Primitivus: menu are now managed and fully working
Goffi <goffi@goffi.org>
parents: 131
diff changeset
578
227394eb080c Primitivus: menu are now managed and fully working
Goffi <goffi@goffi.org>
parents: 131
diff changeset
579 def __init__(self,menus_list):
227394eb080c Primitivus: menu are now managed and fully working
Goffi <goffi@goffi.org>
parents: 131
diff changeset
580 """Create a MenuRoller
227394eb080c Primitivus: menu are now managed and fully working
Goffi <goffi@goffi.org>
parents: 131
diff changeset
581 @param menus_list: list of tuple with (name, Menu_instance), name can be None
227394eb080c Primitivus: menu are now managed and fully working
Goffi <goffi@goffi.org>
parents: 131
diff changeset
582 """
227394eb080c Primitivus: menu are now managed and fully working
Goffi <goffi@goffi.org>
parents: 131
diff changeset
583 assert (menus_list)
227394eb080c Primitivus: menu are now managed and fully working
Goffi <goffi@goffi.org>
parents: 131
diff changeset
584 self.selected = 0
227394eb080c Primitivus: menu are now managed and fully working
Goffi <goffi@goffi.org>
parents: 131
diff changeset
585 self.name_list = []
227394eb080c Primitivus: menu are now managed and fully working
Goffi <goffi@goffi.org>
parents: 131
diff changeset
586 self.menus = {}
227394eb080c Primitivus: menu are now managed and fully working
Goffi <goffi@goffi.org>
parents: 131
diff changeset
587
227394eb080c Primitivus: menu are now managed and fully working
Goffi <goffi@goffi.org>
parents: 131
diff changeset
588 self.columns = urwid.Columns([urwid.Text(''),urwid.Text('')])
227394eb080c Primitivus: menu are now managed and fully working
Goffi <goffi@goffi.org>
parents: 131
diff changeset
589 urwid.WidgetWrap.__init__(self, self.columns)
227394eb080c Primitivus: menu are now managed and fully working
Goffi <goffi@goffi.org>
parents: 131
diff changeset
590
227394eb080c Primitivus: menu are now managed and fully working
Goffi <goffi@goffi.org>
parents: 131
diff changeset
591 for menu_tuple in menus_list:
227394eb080c Primitivus: menu are now managed and fully working
Goffi <goffi@goffi.org>
parents: 131
diff changeset
592 name,menu = menu_tuple
227394eb080c Primitivus: menu are now managed and fully working
Goffi <goffi@goffi.org>
parents: 131
diff changeset
593 self.addMenu(name, menu)
227394eb080c Primitivus: menu are now managed and fully working
Goffi <goffi@goffi.org>
parents: 131
diff changeset
594
227394eb080c Primitivus: menu are now managed and fully working
Goffi <goffi@goffi.org>
parents: 131
diff changeset
595 def __showSelected(self):
227394eb080c Primitivus: menu are now managed and fully working
Goffi <goffi@goffi.org>
parents: 131
diff changeset
596 """show menu selected"""
227394eb080c Primitivus: menu are now managed and fully working
Goffi <goffi@goffi.org>
parents: 131
diff changeset
597 name_txt = u'\u21c9 '+self.name_list[self.selected]+u' \u21c7 '
227394eb080c Primitivus: menu are now managed and fully working
Goffi <goffi@goffi.org>
parents: 131
diff changeset
598 current_name = ClickableText(name_txt)
227394eb080c Primitivus: menu are now managed and fully working
Goffi <goffi@goffi.org>
parents: 131
diff changeset
599 name_len = len(name_txt)
227394eb080c Primitivus: menu are now managed and fully working
Goffi <goffi@goffi.org>
parents: 131
diff changeset
600 current_menu = self.menus[self.name_list[self.selected]]
227394eb080c Primitivus: menu are now managed and fully working
Goffi <goffi@goffi.org>
parents: 131
diff changeset
601 current_menu.setOrigX(name_len)
227394eb080c Primitivus: menu are now managed and fully working
Goffi <goffi@goffi.org>
parents: 131
diff changeset
602 self.columns.widget_list[0] = current_name
227394eb080c Primitivus: menu are now managed and fully working
Goffi <goffi@goffi.org>
parents: 131
diff changeset
603 self.columns.column_types[0]=('fixed', name_len)
227394eb080c Primitivus: menu are now managed and fully working
Goffi <goffi@goffi.org>
parents: 131
diff changeset
604 self.columns.widget_list[1] = current_menu
227394eb080c Primitivus: menu are now managed and fully working
Goffi <goffi@goffi.org>
parents: 131
diff changeset
605
227394eb080c Primitivus: menu are now managed and fully working
Goffi <goffi@goffi.org>
parents: 131
diff changeset
606 def keypress(self, size, key):
227394eb080c Primitivus: menu are now managed and fully working
Goffi <goffi@goffi.org>
parents: 131
diff changeset
607 if key=='up':
227394eb080c Primitivus: menu are now managed and fully working
Goffi <goffi@goffi.org>
parents: 131
diff changeset
608 if self.columns.get_focus_column()==0 and self.selected > 0:
227394eb080c Primitivus: menu are now managed and fully working
Goffi <goffi@goffi.org>
parents: 131
diff changeset
609 self.selected -= 1
227394eb080c Primitivus: menu are now managed and fully working
Goffi <goffi@goffi.org>
parents: 131
diff changeset
610 self.__showSelected()
227394eb080c Primitivus: menu are now managed and fully working
Goffi <goffi@goffi.org>
parents: 131
diff changeset
611 elif key=='down':
227394eb080c Primitivus: menu are now managed and fully working
Goffi <goffi@goffi.org>
parents: 131
diff changeset
612 if self.columns.get_focus_column()==0 and self.selected < len(self.name_list)-1:
227394eb080c Primitivus: menu are now managed and fully working
Goffi <goffi@goffi.org>
parents: 131
diff changeset
613 self.selected += 1
227394eb080c Primitivus: menu are now managed and fully working
Goffi <goffi@goffi.org>
parents: 131
diff changeset
614 self.__showSelected()
139
e7b8871e9f52 Primitivus: menu roller doesn't go anymore on a menu if it's empty
Goffi <goffi@goffi.org>
parents: 137
diff changeset
615 elif key=='right':
e7b8871e9f52 Primitivus: menu roller doesn't go anymore on a menu if it's empty
Goffi <goffi@goffi.org>
parents: 137
diff changeset
616 if self.columns.get_focus_column()==0 and \
151
7fcb4f083686 Primitivus: custom_widgets imrpovments
Goffi <goffi@goffi.org>
parents: 144
diff changeset
617 (isinstance(self.columns.widget_list[1], urwid.Text) or \
139
e7b8871e9f52 Primitivus: menu roller doesn't go anymore on a menu if it's empty
Goffi <goffi@goffi.org>
parents: 137
diff changeset
618 self.menus[self.name_list[self.selected]].getMenuSize()==0):
e7b8871e9f52 Primitivus: menu roller doesn't go anymore on a menu if it's empty
Goffi <goffi@goffi.org>
parents: 137
diff changeset
619 return #if we have no menu or the menu is empty, we don't go the right column
137
227394eb080c Primitivus: menu are now managed and fully working
Goffi <goffi@goffi.org>
parents: 131
diff changeset
620
227394eb080c Primitivus: menu are now managed and fully working
Goffi <goffi@goffi.org>
parents: 131
diff changeset
621 return super(MenuRoller, self).keypress(size, key)
227394eb080c Primitivus: menu are now managed and fully working
Goffi <goffi@goffi.org>
parents: 131
diff changeset
622
227394eb080c Primitivus: menu are now managed and fully working
Goffi <goffi@goffi.org>
parents: 131
diff changeset
623 def addMenu(self, name_param, menu):
227394eb080c Primitivus: menu are now managed and fully working
Goffi <goffi@goffi.org>
parents: 131
diff changeset
624 name = name_param or ''
227394eb080c Primitivus: menu are now managed and fully working
Goffi <goffi@goffi.org>
parents: 131
diff changeset
625 if name not in self.name_list:
227394eb080c Primitivus: menu are now managed and fully working
Goffi <goffi@goffi.org>
parents: 131
diff changeset
626 self.name_list.append(name)
227394eb080c Primitivus: menu are now managed and fully working
Goffi <goffi@goffi.org>
parents: 131
diff changeset
627 self.menus[name] = menu
227394eb080c Primitivus: menu are now managed and fully working
Goffi <goffi@goffi.org>
parents: 131
diff changeset
628 if self.name_list[self.selected] == name:
227394eb080c Primitivus: menu are now managed and fully working
Goffi <goffi@goffi.org>
parents: 131
diff changeset
629 self.__showSelected() #if we are on the menu, we update it
227394eb080c Primitivus: menu are now managed and fully working
Goffi <goffi@goffi.org>
parents: 131
diff changeset
630
151
7fcb4f083686 Primitivus: custom_widgets imrpovments
Goffi <goffi@goffi.org>
parents: 144
diff changeset
631 def removeMenu(self, name):
7fcb4f083686 Primitivus: custom_widgets imrpovments
Goffi <goffi@goffi.org>
parents: 144
diff changeset
632 if name in self.name_list:
7fcb4f083686 Primitivus: custom_widgets imrpovments
Goffi <goffi@goffi.org>
parents: 144
diff changeset
633 self.name_list.remove(name)
7fcb4f083686 Primitivus: custom_widgets imrpovments
Goffi <goffi@goffi.org>
parents: 144
diff changeset
634 if name in self.menus.keys():
7fcb4f083686 Primitivus: custom_widgets imrpovments
Goffi <goffi@goffi.org>
parents: 144
diff changeset
635 del self.menus[name]
7fcb4f083686 Primitivus: custom_widgets imrpovments
Goffi <goffi@goffi.org>
parents: 144
diff changeset
636 self.selected = 0
7fcb4f083686 Primitivus: custom_widgets imrpovments
Goffi <goffi@goffi.org>
parents: 144
diff changeset
637 self.__showSelected()
7fcb4f083686 Primitivus: custom_widgets imrpovments
Goffi <goffi@goffi.org>
parents: 144
diff changeset
638
137
227394eb080c Primitivus: menu are now managed and fully working
Goffi <goffi@goffi.org>
parents: 131
diff changeset
639 def checkShortcuts(self, key):
227394eb080c Primitivus: menu are now managed and fully working
Goffi <goffi@goffi.org>
parents: 131
diff changeset
640 for menu in self.name_list:
227394eb080c Primitivus: menu are now managed and fully working
Goffi <goffi@goffi.org>
parents: 131
diff changeset
641 key = self.menus[menu].checkShortcuts(key)
227394eb080c Primitivus: menu are now managed and fully working
Goffi <goffi@goffi.org>
parents: 131
diff changeset
642 return key
227394eb080c Primitivus: menu are now managed and fully working
Goffi <goffi@goffi.org>
parents: 131
diff changeset
643
128
2240f34f6452 Primitivus: misc fixes + menubar first draft
Goffi <goffi@goffi.org>
parents: 125
diff changeset
644
120
1ca5f254ce41 primitivus group chat & misc
Goffi <goffi@goffi.org>
parents: 119
diff changeset
645 ## DIALOGS ##
1ca5f254ce41 primitivus group chat & misc
Goffi <goffi@goffi.org>
parents: 119
diff changeset
646
119
ded2431cea5a Primitivus: chat window / text sending.
Goffi <goffi@goffi.org>
parents: 118
diff changeset
647 class GenericDialog(urwid.WidgetWrap):
113
e5ca22113280 Primitivus: profile manager
Goffi <goffi@goffi.org>
parents:
diff changeset
648
e5ca22113280 Primitivus: profile manager
Goffi <goffi@goffi.org>
parents:
diff changeset
649 def __init__(self, widgets_lst, title, style=[], **kwargs):
e5ca22113280 Primitivus: profile manager
Goffi <goffi@goffi.org>
parents:
diff changeset
650 frame_header = urwid.AttrMap(urwid.Text(title,'center'),'title')
e5ca22113280 Primitivus: profile manager
Goffi <goffi@goffi.org>
parents:
diff changeset
651
e5ca22113280 Primitivus: profile manager
Goffi <goffi@goffi.org>
parents:
diff changeset
652 buttons = None
e5ca22113280 Primitivus: profile manager
Goffi <goffi@goffi.org>
parents:
diff changeset
653
e5ca22113280 Primitivus: profile manager
Goffi <goffi@goffi.org>
parents:
diff changeset
654 if "OK/CANCEL" in style:
e5ca22113280 Primitivus: profile manager
Goffi <goffi@goffi.org>
parents:
diff changeset
655 buttons = [urwid.Button(_("Cancel"), kwargs['cancel_cb']),
e5ca22113280 Primitivus: profile manager
Goffi <goffi@goffi.org>
parents:
diff changeset
656 urwid.Button(_("Ok"), kwargs['ok_cb'], kwargs['ok_value'])]
e5ca22113280 Primitivus: profile manager
Goffi <goffi@goffi.org>
parents:
diff changeset
657 elif "YES/NO" in style:
e5ca22113280 Primitivus: profile manager
Goffi <goffi@goffi.org>
parents:
diff changeset
658 buttons = [urwid.Button(_("Yes"), kwargs['yes_cb']),
e5ca22113280 Primitivus: profile manager
Goffi <goffi@goffi.org>
parents:
diff changeset
659 urwid.Button(_("No"), kwargs['no_cb'], kwargs['yes_value'])]
114
77f48939ad6e primitivus: added Alert widget
Goffi <goffi@goffi.org>
parents: 113
diff changeset
660 if "OK" in style:
77f48939ad6e primitivus: added Alert widget
Goffi <goffi@goffi.org>
parents: 113
diff changeset
661 buttons = [urwid.Button(_("Ok"), kwargs['ok_cb'], kwargs['ok_value'])]
113
e5ca22113280 Primitivus: profile manager
Goffi <goffi@goffi.org>
parents:
diff changeset
662 if buttons:
e5ca22113280 Primitivus: profile manager
Goffi <goffi@goffi.org>
parents:
diff changeset
663 buttons_flow = urwid.GridFlow(buttons, max([len(button.get_label()) for button in buttons])+4, 1, 1, 'center')
e5ca22113280 Primitivus: profile manager
Goffi <goffi@goffi.org>
parents:
diff changeset
664 widgets_lst.append(buttons_flow)
e5ca22113280 Primitivus: profile manager
Goffi <goffi@goffi.org>
parents:
diff changeset
665 body_content = urwid.SimpleListWalker(widgets_lst)
e5ca22113280 Primitivus: profile manager
Goffi <goffi@goffi.org>
parents:
diff changeset
666 frame_body = urwid.ListBox(body_content)
e5ca22113280 Primitivus: profile manager
Goffi <goffi@goffi.org>
parents:
diff changeset
667 frame = urwid.Frame(frame_body, frame_header)
e5ca22113280 Primitivus: profile manager
Goffi <goffi@goffi.org>
parents:
diff changeset
668 decorated_frame = urwid.LineBox(frame)
e5ca22113280 Primitivus: profile manager
Goffi <goffi@goffi.org>
parents:
diff changeset
669 urwid.WidgetWrap.__init__(self, decorated_frame)
e5ca22113280 Primitivus: profile manager
Goffi <goffi@goffi.org>
parents:
diff changeset
670
e5ca22113280 Primitivus: profile manager
Goffi <goffi@goffi.org>
parents:
diff changeset
671
e5ca22113280 Primitivus: profile manager
Goffi <goffi@goffi.org>
parents:
diff changeset
672
119
ded2431cea5a Primitivus: chat window / text sending.
Goffi <goffi@goffi.org>
parents: 118
diff changeset
673 class InputDialog(GenericDialog):
121
03d8bcc67182 misc documentation
Goffi <goffi@goffi.org>
parents: 120
diff changeset
674 """Dialog with an edit box"""
113
e5ca22113280 Primitivus: profile manager
Goffi <goffi@goffi.org>
parents:
diff changeset
675
120
1ca5f254ce41 primitivus group chat & misc
Goffi <goffi@goffi.org>
parents: 119
diff changeset
676 def __init__(self, title, instrucions, style=['OK/CANCEL'], default_txt = '', **kwargs):
113
e5ca22113280 Primitivus: profile manager
Goffi <goffi@goffi.org>
parents:
diff changeset
677 instr_wid = urwid.Text(instrucions+':')
120
1ca5f254ce41 primitivus group chat & misc
Goffi <goffi@goffi.org>
parents: 119
diff changeset
678 edit_box = urwid.Edit(edit_text=default_txt)
119
ded2431cea5a Primitivus: chat window / text sending.
Goffi <goffi@goffi.org>
parents: 118
diff changeset
679 GenericDialog.__init__(self, [instr_wid,edit_box], title, style, ok_value=edit_box, **kwargs)
113
e5ca22113280 Primitivus: profile manager
Goffi <goffi@goffi.org>
parents:
diff changeset
680
119
ded2431cea5a Primitivus: chat window / text sending.
Goffi <goffi@goffi.org>
parents: 118
diff changeset
681 class ConfirmDialog(GenericDialog):
121
03d8bcc67182 misc documentation
Goffi <goffi@goffi.org>
parents: 120
diff changeset
682 """Dialog with buttons for confirm or cancel an action"""
113
e5ca22113280 Primitivus: profile manager
Goffi <goffi@goffi.org>
parents:
diff changeset
683
e5ca22113280 Primitivus: profile manager
Goffi <goffi@goffi.org>
parents:
diff changeset
684 def __init__(self, title, style=['YES/NO'], **kwargs):
119
ded2431cea5a Primitivus: chat window / text sending.
Goffi <goffi@goffi.org>
parents: 118
diff changeset
685 GenericDialog.__init__(self, [], title, style, yes_value=None, **kwargs)
114
77f48939ad6e primitivus: added Alert widget
Goffi <goffi@goffi.org>
parents: 113
diff changeset
686
119
ded2431cea5a Primitivus: chat window / text sending.
Goffi <goffi@goffi.org>
parents: 118
diff changeset
687 class Alert(GenericDialog):
121
03d8bcc67182 misc documentation
Goffi <goffi@goffi.org>
parents: 120
diff changeset
688 """Dialog with just a message and a OK button"""
114
77f48939ad6e primitivus: added Alert widget
Goffi <goffi@goffi.org>
parents: 113
diff changeset
689
77f48939ad6e primitivus: added Alert widget
Goffi <goffi@goffi.org>
parents: 113
diff changeset
690 def __init__(self, title, message, style=['OK'], **kwargs):
119
ded2431cea5a Primitivus: chat window / text sending.
Goffi <goffi@goffi.org>
parents: 118
diff changeset
691 GenericDialog.__init__(self, [urwid.Text(message, 'center')], title, style, ok_value=None, **kwargs)
ded2431cea5a Primitivus: chat window / text sending.
Goffi <goffi@goffi.org>
parents: 118
diff changeset
692
120
1ca5f254ce41 primitivus group chat & misc
Goffi <goffi@goffi.org>
parents: 119
diff changeset
693 ## CONTAINERS ##
1ca5f254ce41 primitivus group chat & misc
Goffi <goffi@goffi.org>
parents: 119
diff changeset
694
119
ded2431cea5a Primitivus: chat window / text sending.
Goffi <goffi@goffi.org>
parents: 118
diff changeset
695 class FocusFrame(urwid.Frame):
121
03d8bcc67182 misc documentation
Goffi <goffi@goffi.org>
parents: 120
diff changeset
696 """Frame which manage 'tab' key"""
119
ded2431cea5a Primitivus: chat window / text sending.
Goffi <goffi@goffi.org>
parents: 118
diff changeset
697
ded2431cea5a Primitivus: chat window / text sending.
Goffi <goffi@goffi.org>
parents: 118
diff changeset
698 def keypress(self, size, key):
ded2431cea5a Primitivus: chat window / text sending.
Goffi <goffi@goffi.org>
parents: 118
diff changeset
699 if key == 'tab':
ded2431cea5a Primitivus: chat window / text sending.
Goffi <goffi@goffi.org>
parents: 118
diff changeset
700 focus_list = ('header','body','footer')
ded2431cea5a Primitivus: chat window / text sending.
Goffi <goffi@goffi.org>
parents: 118
diff changeset
701 focus_idx = focus_list.index(self.focus_part)
ded2431cea5a Primitivus: chat window / text sending.
Goffi <goffi@goffi.org>
parents: 118
diff changeset
702 for i in range(2):
ded2431cea5a Primitivus: chat window / text sending.
Goffi <goffi@goffi.org>
parents: 118
diff changeset
703 focus_idx = (focus_idx + 1) % len(focus_list)
ded2431cea5a Primitivus: chat window / text sending.
Goffi <goffi@goffi.org>
parents: 118
diff changeset
704 focus_name = focus_list[focus_idx]
ded2431cea5a Primitivus: chat window / text sending.
Goffi <goffi@goffi.org>
parents: 118
diff changeset
705 widget = getattr(self,'_'+focus_name)
ded2431cea5a Primitivus: chat window / text sending.
Goffi <goffi@goffi.org>
parents: 118
diff changeset
706 if widget!=None and widget.selectable():
ded2431cea5a Primitivus: chat window / text sending.
Goffi <goffi@goffi.org>
parents: 118
diff changeset
707 self.set_focus(focus_name)
ded2431cea5a Primitivus: chat window / text sending.
Goffi <goffi@goffi.org>
parents: 118
diff changeset
708
ded2431cea5a Primitivus: chat window / text sending.
Goffi <goffi@goffi.org>
parents: 118
diff changeset
709 return urwid.Frame.keypress(self, size, key)
120
1ca5f254ce41 primitivus group chat & misc
Goffi <goffi@goffi.org>
parents: 119
diff changeset
710
151
7fcb4f083686 Primitivus: custom_widgets imrpovments
Goffi <goffi@goffi.org>
parents: 144
diff changeset
711 class TabsContainer(urwid.WidgetWrap):
7fcb4f083686 Primitivus: custom_widgets imrpovments
Goffi <goffi@goffi.org>
parents: 144
diff changeset
712 signals = ['click']
7fcb4f083686 Primitivus: custom_widgets imrpovments
Goffi <goffi@goffi.org>
parents: 144
diff changeset
713
7fcb4f083686 Primitivus: custom_widgets imrpovments
Goffi <goffi@goffi.org>
parents: 144
diff changeset
714 def __init__(self):
7fcb4f083686 Primitivus: custom_widgets imrpovments
Goffi <goffi@goffi.org>
parents: 144
diff changeset
715 #self._current_tab = 0
7fcb4f083686 Primitivus: custom_widgets imrpovments
Goffi <goffi@goffi.org>
parents: 144
diff changeset
716 self._buttons_cont = urwid.GridFlow([],19,1,0,'left')
7fcb4f083686 Primitivus: custom_widgets imrpovments
Goffi <goffi@goffi.org>
parents: 144
diff changeset
717 self.tabs = []
7fcb4f083686 Primitivus: custom_widgets imrpovments
Goffi <goffi@goffi.org>
parents: 144
diff changeset
718 self.__frame = urwid.Frame(urwid.Text(''),urwid.Pile([self._buttons_cont,urwid.Divider(u"─")]))
7fcb4f083686 Primitivus: custom_widgets imrpovments
Goffi <goffi@goffi.org>
parents: 144
diff changeset
719 urwid.WidgetWrap.__init__(self, self.__frame)
7fcb4f083686 Primitivus: custom_widgets imrpovments
Goffi <goffi@goffi.org>
parents: 144
diff changeset
720
7fcb4f083686 Primitivus: custom_widgets imrpovments
Goffi <goffi@goffi.org>
parents: 144
diff changeset
721 """def selectable(self):
7fcb4f083686 Primitivus: custom_widgets imrpovments
Goffi <goffi@goffi.org>
parents: 144
diff changeset
722 return True
7fcb4f083686 Primitivus: custom_widgets imrpovments
Goffi <goffi@goffi.org>
parents: 144
diff changeset
723
7fcb4f083686 Primitivus: custom_widgets imrpovments
Goffi <goffi@goffi.org>
parents: 144
diff changeset
724 def keypress(self, size, key):
7fcb4f083686 Primitivus: custom_widgets imrpovments
Goffi <goffi@goffi.org>
parents: 144
diff changeset
725 return key"""
7fcb4f083686 Primitivus: custom_widgets imrpovments
Goffi <goffi@goffi.org>
parents: 144
diff changeset
726
7fcb4f083686 Primitivus: custom_widgets imrpovments
Goffi <goffi@goffi.org>
parents: 144
diff changeset
727 def __buttonClicked(self, button, invisible=False):
7fcb4f083686 Primitivus: custom_widgets imrpovments
Goffi <goffi@goffi.org>
parents: 144
diff changeset
728 """Called when a button on the tab is changed,
7fcb4f083686 Primitivus: custom_widgets imrpovments
Goffi <goffi@goffi.org>
parents: 144
diff changeset
729 change the page
7fcb4f083686 Primitivus: custom_widgets imrpovments
Goffi <goffi@goffi.org>
parents: 144
diff changeset
730 @param button: button clicked
7fcb4f083686 Primitivus: custom_widgets imrpovments
Goffi <goffi@goffi.org>
parents: 144
diff changeset
731 @param invisible: emit signal only if False"""
7fcb4f083686 Primitivus: custom_widgets imrpovments
Goffi <goffi@goffi.org>
parents: 144
diff changeset
732 tab_name = button.get_label()
7fcb4f083686 Primitivus: custom_widgets imrpovments
Goffi <goffi@goffi.org>
parents: 144
diff changeset
733 for tab in self.tabs:
7fcb4f083686 Primitivus: custom_widgets imrpovments
Goffi <goffi@goffi.org>
parents: 144
diff changeset
734 if tab[0] == tab_name:
7fcb4f083686 Primitivus: custom_widgets imrpovments
Goffi <goffi@goffi.org>
parents: 144
diff changeset
735 break
7fcb4f083686 Primitivus: custom_widgets imrpovments
Goffi <goffi@goffi.org>
parents: 144
diff changeset
736 if tab[0] != tab_name:
7fcb4f083686 Primitivus: custom_widgets imrpovments
Goffi <goffi@goffi.org>
parents: 144
diff changeset
737 error(_("INTERNAL ERROR: Tab not found"))
7fcb4f083686 Primitivus: custom_widgets imrpovments
Goffi <goffi@goffi.org>
parents: 144
diff changeset
738 assert(False)
7fcb4f083686 Primitivus: custom_widgets imrpovments
Goffi <goffi@goffi.org>
parents: 144
diff changeset
739 self.__frame.body = tab[1]
7fcb4f083686 Primitivus: custom_widgets imrpovments
Goffi <goffi@goffi.org>
parents: 144
diff changeset
740 if not invisible:
7fcb4f083686 Primitivus: custom_widgets imrpovments
Goffi <goffi@goffi.org>
parents: 144
diff changeset
741 self._emit('click')
7fcb4f083686 Primitivus: custom_widgets imrpovments
Goffi <goffi@goffi.org>
parents: 144
diff changeset
742
7fcb4f083686 Primitivus: custom_widgets imrpovments
Goffi <goffi@goffi.org>
parents: 144
diff changeset
743 def __appendButton(self, name):
7fcb4f083686 Primitivus: custom_widgets imrpovments
Goffi <goffi@goffi.org>
parents: 144
diff changeset
744 """Append a button to the frame header,
7fcb4f083686 Primitivus: custom_widgets imrpovments
Goffi <goffi@goffi.org>
parents: 144
diff changeset
745 and link it to the page change method"""
7fcb4f083686 Primitivus: custom_widgets imrpovments
Goffi <goffi@goffi.org>
parents: 144
diff changeset
746 button = CustomButton(name, self.__buttonClicked, left_border = '', right_border=' |')
7fcb4f083686 Primitivus: custom_widgets imrpovments
Goffi <goffi@goffi.org>
parents: 144
diff changeset
747 self._buttons_cont.cells.append(button)
7fcb4f083686 Primitivus: custom_widgets imrpovments
Goffi <goffi@goffi.org>
parents: 144
diff changeset
748 if len(self._buttons_cont.cells):
7fcb4f083686 Primitivus: custom_widgets imrpovments
Goffi <goffi@goffi.org>
parents: 144
diff changeset
749 #first button: we set the focus and the body
7fcb4f083686 Primitivus: custom_widgets imrpovments
Goffi <goffi@goffi.org>
parents: 144
diff changeset
750 self._buttons_cont.set_focus(0)
7fcb4f083686 Primitivus: custom_widgets imrpovments
Goffi <goffi@goffi.org>
parents: 144
diff changeset
751 self.__buttonClicked(button,True)
7fcb4f083686 Primitivus: custom_widgets imrpovments
Goffi <goffi@goffi.org>
parents: 144
diff changeset
752
7fcb4f083686 Primitivus: custom_widgets imrpovments
Goffi <goffi@goffi.org>
parents: 144
diff changeset
753 def addTab(self,name,content=[]):
7fcb4f083686 Primitivus: custom_widgets imrpovments
Goffi <goffi@goffi.org>
parents: 144
diff changeset
754 """Add a page to the container
7fcb4f083686 Primitivus: custom_widgets imrpovments
Goffi <goffi@goffi.org>
parents: 144
diff changeset
755 @param name: name of the page (what appear on the tab)
7fcb4f083686 Primitivus: custom_widgets imrpovments
Goffi <goffi@goffi.org>
parents: 144
diff changeset
756 @param content: content of the page
7fcb4f083686 Primitivus: custom_widgets imrpovments
Goffi <goffi@goffi.org>
parents: 144
diff changeset
757 @return: ListBox (content of the page)"""
7fcb4f083686 Primitivus: custom_widgets imrpovments
Goffi <goffi@goffi.org>
parents: 144
diff changeset
758 listbox = urwid.ListBox(urwid.SimpleListWalker(content))
7fcb4f083686 Primitivus: custom_widgets imrpovments
Goffi <goffi@goffi.org>
parents: 144
diff changeset
759 self.tabs.append([name,listbox])
7fcb4f083686 Primitivus: custom_widgets imrpovments
Goffi <goffi@goffi.org>
parents: 144
diff changeset
760 self.__appendButton(name)
7fcb4f083686 Primitivus: custom_widgets imrpovments
Goffi <goffi@goffi.org>
parents: 144
diff changeset
761 return listbox
7fcb4f083686 Primitivus: custom_widgets imrpovments
Goffi <goffi@goffi.org>
parents: 144
diff changeset
762
120
1ca5f254ce41 primitivus group chat & misc
Goffi <goffi@goffi.org>
parents: 119
diff changeset
763 ## DECORATORS ##
1ca5f254ce41 primitivus group chat & misc
Goffi <goffi@goffi.org>
parents: 119
diff changeset
764 class LabelLine(urwid.LineBox):
121
03d8bcc67182 misc documentation
Goffi <goffi@goffi.org>
parents: 120
diff changeset
765 """Like LineBox, but with a Label centered in the top line"""
120
1ca5f254ce41 primitivus group chat & misc
Goffi <goffi@goffi.org>
parents: 119
diff changeset
766
1ca5f254ce41 primitivus group chat & misc
Goffi <goffi@goffi.org>
parents: 119
diff changeset
767 def __init__(self, original_widget, label_widget):
1ca5f254ce41 primitivus group chat & misc
Goffi <goffi@goffi.org>
parents: 119
diff changeset
768 urwid.LineBox.__init__(self, original_widget)
1ca5f254ce41 primitivus group chat & misc
Goffi <goffi@goffi.org>
parents: 119
diff changeset
769 top_columns = self._w.widget_list[0]
1ca5f254ce41 primitivus group chat & misc
Goffi <goffi@goffi.org>
parents: 119
diff changeset
770 top_columns.widget_list[1] = label_widget
124
961e0898271f primitivus chat window
Goffi <goffi@goffi.org>
parents: 121
diff changeset
771
961e0898271f primitivus chat window
Goffi <goffi@goffi.org>
parents: 121
diff changeset
772 class VerticalSeparator(urwid.WidgetDecoration, urwid.WidgetWrap):
961e0898271f primitivus chat window
Goffi <goffi@goffi.org>
parents: 121
diff changeset
773 def __init__(self, original_widget, left_char = utf8decode("│"), right_char = ''):
151
7fcb4f083686 Primitivus: custom_widgets imrpovments
Goffi <goffi@goffi.org>
parents: 144
diff changeset
774 """Draw a separator on left and/or right of original_widget."""
120
1ca5f254ce41 primitivus group chat & misc
Goffi <goffi@goffi.org>
parents: 119
diff changeset
775
124
961e0898271f primitivus chat window
Goffi <goffi@goffi.org>
parents: 121
diff changeset
776 widgets = [original_widget]
961e0898271f primitivus chat window
Goffi <goffi@goffi.org>
parents: 121
diff changeset
777 if left_char:
961e0898271f primitivus chat window
Goffi <goffi@goffi.org>
parents: 121
diff changeset
778 widgets.insert(0, ('fixed', 1, urwid.SolidFill(left_char)))
961e0898271f primitivus chat window
Goffi <goffi@goffi.org>
parents: 121
diff changeset
779 if right_char:
961e0898271f primitivus chat window
Goffi <goffi@goffi.org>
parents: 121
diff changeset
780 widgets.append(('fixed', 1, urwid.SolidFill(right_char)))
961e0898271f primitivus chat window
Goffi <goffi@goffi.org>
parents: 121
diff changeset
781 columns = urwid.Columns(widgets, box_columns = [0,2], focus_column = 1)
961e0898271f primitivus chat window
Goffi <goffi@goffi.org>
parents: 121
diff changeset
782 urwid.WidgetDecoration.__init__(self, original_widget)
961e0898271f primitivus chat window
Goffi <goffi@goffi.org>
parents: 121
diff changeset
783 urwid.WidgetWrap.__init__(self, columns)
961e0898271f primitivus chat window
Goffi <goffi@goffi.org>
parents: 121
diff changeset
784
961e0898271f primitivus chat window
Goffi <goffi@goffi.org>
parents: 121
diff changeset
785