Mercurial > libervia-backend
annotate sat_frontends/jp/xmlui_manager.py @ 2960:5d13d357896c
jp (xmlui): fixed encoding for raw_input in StringWidget
| author | Goffi <goffi@goffi.org> |
|---|---|
| date | Fri, 14 Jun 2019 12:49:44 +0200 |
| parents | 18a98a541f7a |
| children | 620bbcec884c |
| rev | line source |
|---|---|
| 2408 | 1 #!/usr/bin/env python2 |
| 2 # -*- coding: utf-8 -*- | |
| 3 | |
| 4 # JP: a SàT frontend | |
| 2771 | 5 # Copyright (C) 2009-2019 Jérôme Poisson (goffi@goffi.org) |
| 2408 | 6 |
| 7 # This program is free software: you can redistribute it and/or modify | |
| 8 # it under the terms of the GNU Affero General Public License as published by | |
| 9 # the Free Software Foundation, either version 3 of the License, or | |
| 10 # (at your option) any later version. | |
| 11 | |
| 12 # This program is distributed in the hope that it will be useful, | |
| 13 # but WITHOUT ANY WARRANTY; without even the implied warranty of | |
| 14 # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the | |
| 15 # GNU Affero General Public License for more details. | |
| 16 | |
| 17 # You should have received a copy of the GNU Affero General Public License | |
| 18 # along with this program. If not, see <http://www.gnu.org/licenses/>. | |
| 19 | |
| 20 from sat.core.log import getLogger | |
|
2624
56f94936df1e
code style reformatting using black
Goffi <goffi@goffi.org>
parents:
2562
diff
changeset
|
21 |
| 2408 | 22 log = getLogger(__name__) |
|
2669
bdb8276fd2da
frontends (xmlui): class_map is now an arg of create function:
Goffi <goffi@goffi.org>
parents:
2624
diff
changeset
|
23 from sat_frontends.tools import xmlui as xmlui_base |
| 2408 | 24 from sat_frontends.jp.constants import Const as C |
| 25 from sat.tools.common.ansi import ANSI as A | |
| 26 from sat.core.i18n import _ | |
| 27 from functools import partial | |
| 28 | |
| 29 # workflow constants | |
| 30 | |
|
2624
56f94936df1e
code style reformatting using black
Goffi <goffi@goffi.org>
parents:
2562
diff
changeset
|
31 SUBMIT = "SUBMIT" # submit form |
| 2408 | 32 |
| 33 | |
| 34 ## Widgets ## | |
| 35 | |
|
2624
56f94936df1e
code style reformatting using black
Goffi <goffi@goffi.org>
parents:
2562
diff
changeset
|
36 |
| 2408 | 37 class Base(object): |
| 38 """Base for Widget and Container""" | |
|
2624
56f94936df1e
code style reformatting using black
Goffi <goffi@goffi.org>
parents:
2562
diff
changeset
|
39 |
| 2408 | 40 type = None |
| 41 _root = None | |
| 42 | |
| 43 def __init__(self, xmlui_parent): | |
| 44 self.xmlui_parent = xmlui_parent | |
| 45 self.host = self.xmlui_parent.host | |
| 46 | |
| 47 @property | |
| 48 def root(self): | |
| 49 """retrieve main XMLUI parent class""" | |
| 50 if self._root is not None: | |
| 51 return self._root | |
| 52 root = self | |
|
2669
bdb8276fd2da
frontends (xmlui): class_map is now an arg of create function:
Goffi <goffi@goffi.org>
parents:
2624
diff
changeset
|
53 while not isinstance(root, xmlui_base.XMLUIBase): |
| 2408 | 54 root = root.xmlui_parent |
| 55 self._root = root | |
| 56 return root | |
| 57 | |
| 58 def disp(self, *args, **kwargs): | |
| 59 self.host.disp(*args, **kwargs) | |
| 60 | |
| 61 | |
| 62 class Widget(Base): | |
|
2624
56f94936df1e
code style reformatting using black
Goffi <goffi@goffi.org>
parents:
2562
diff
changeset
|
63 category = u"widget" |
| 2408 | 64 enabled = True |
| 65 | |
| 66 @property | |
| 67 def name(self): | |
| 68 return self._xmlui_name | |
| 69 | |
| 70 def show(self): | |
| 71 """display current widget | |
| 72 | |
| 73 must be overriden by subclasses | |
| 74 """ | |
| 75 raise NotImplementedError(self.__class__) | |
| 76 | |
| 77 def verboseName(self, elems=None, value=None): | |
| 78 """add name in color to the elements | |
| 79 | |
| 80 helper method to display name which can then be used to automate commands | |
| 81 elems is only modified if verbosity is > 0 | |
| 82 @param elems(list[unicode], None): elements to display | |
| 83 None to display name directly | |
| 84 @param value(unicode, None): value to show | |
| 85 use self.name if None | |
| 86 """ | |
| 87 if value is None: | |
| 88 value = self.name | |
| 89 if self.host.verbosity: | |
|
2624
56f94936df1e
code style reformatting using black
Goffi <goffi@goffi.org>
parents:
2562
diff
changeset
|
90 to_disp = [ |
|
56f94936df1e
code style reformatting using black
Goffi <goffi@goffi.org>
parents:
2562
diff
changeset
|
91 A.FG_MAGENTA, |
|
56f94936df1e
code style reformatting using black
Goffi <goffi@goffi.org>
parents:
2562
diff
changeset
|
92 u" " if elems else u"", |
|
56f94936df1e
code style reformatting using black
Goffi <goffi@goffi.org>
parents:
2562
diff
changeset
|
93 u"({})".format(value), |
|
56f94936df1e
code style reformatting using black
Goffi <goffi@goffi.org>
parents:
2562
diff
changeset
|
94 A.RESET, |
|
56f94936df1e
code style reformatting using black
Goffi <goffi@goffi.org>
parents:
2562
diff
changeset
|
95 ] |
| 2408 | 96 if elems is None: |
| 97 self.host.disp(A.color(*to_disp)) | |
| 98 else: | |
| 99 elems.extend(to_disp) | |
| 100 | |
|
2624
56f94936df1e
code style reformatting using black
Goffi <goffi@goffi.org>
parents:
2562
diff
changeset
|
101 |
| 2408 | 102 class ValueWidget(Widget): |
| 103 def __init__(self, xmlui_parent, value): | |
| 104 super(ValueWidget, self).__init__(xmlui_parent) | |
| 105 self.value = value | |
| 106 | |
| 107 @property | |
| 108 def values(self): | |
| 109 return [self.value] | |
| 110 | |
| 111 | |
| 112 class InputWidget(ValueWidget): | |
| 113 def __init__(self, xmlui_parent, value, read_only=False): | |
| 114 super(InputWidget, self).__init__(xmlui_parent, value) | |
| 115 self.read_only = read_only | |
| 116 | |
| 117 def _xmluiGetValue(self): | |
| 118 return self.value | |
| 119 | |
| 120 | |
| 121 class OptionsWidget(Widget): | |
| 122 def __init__(self, xmlui_parent, options, selected, style): | |
| 123 super(OptionsWidget, self).__init__(xmlui_parent) | |
| 124 self.options = options | |
| 125 self.selected = selected | |
| 126 self.style = style | |
| 127 | |
| 128 @property | |
| 129 def values(self): | |
| 130 return self.selected | |
| 131 | |
| 132 @values.setter | |
| 133 def values(self, values): | |
| 134 self.selected = values | |
| 135 | |
| 136 @property | |
| 137 def value(self): | |
| 138 return self.selected[0] | |
| 139 | |
| 140 @value.setter | |
| 141 def value(self, value): | |
| 142 self.selected = [value] | |
| 143 | |
| 144 def _xmluiSelectValue(self, value): | |
| 145 self.value = value | |
| 146 | |
| 147 def _xmluiSelectValues(self, values): | |
| 148 self.values = values | |
| 149 | |
| 150 def _xmluiGetSelectedValues(self): | |
| 151 return self.values | |
| 152 | |
| 153 @property | |
| 154 def labels(self): | |
| 155 """return only labels from self.items""" | |
| 156 for value, label in self.items: | |
| 157 yield label | |
| 158 | |
| 159 @property | |
| 160 def items(self): | |
| 161 """return suitable items, according to style""" | |
| 162 no_select = self.no_select | |
|
2624
56f94936df1e
code style reformatting using black
Goffi <goffi@goffi.org>
parents:
2562
diff
changeset
|
163 for value, label in self.options: |
| 2408 | 164 if no_select or value in self.selected: |
|
2624
56f94936df1e
code style reformatting using black
Goffi <goffi@goffi.org>
parents:
2562
diff
changeset
|
165 yield value, label |
| 2408 | 166 |
| 167 @property | |
| 168 def inline(self): | |
|
2624
56f94936df1e
code style reformatting using black
Goffi <goffi@goffi.org>
parents:
2562
diff
changeset
|
169 return u"inline" in self.style |
| 2408 | 170 |
| 171 @property | |
| 172 def no_select(self): | |
|
2624
56f94936df1e
code style reformatting using black
Goffi <goffi@goffi.org>
parents:
2562
diff
changeset
|
173 return u"noselect" in self.style |
| 2408 | 174 |
| 175 | |
|
2669
bdb8276fd2da
frontends (xmlui): class_map is now an arg of create function:
Goffi <goffi@goffi.org>
parents:
2624
diff
changeset
|
176 class EmptyWidget(xmlui_base.EmptyWidget, Widget): |
|
2739
e8dc00f612fb
jp (xmlui): JidWidget + small improvments:
Goffi <goffi@goffi.org>
parents:
2669
diff
changeset
|
177 |
|
e8dc00f612fb
jp (xmlui): JidWidget + small improvments:
Goffi <goffi@goffi.org>
parents:
2669
diff
changeset
|
178 def __init__(self, xmlui_parent): |
|
e8dc00f612fb
jp (xmlui): JidWidget + small improvments:
Goffi <goffi@goffi.org>
parents:
2669
diff
changeset
|
179 Widget.__init__(self, xmlui_parent) |
|
e8dc00f612fb
jp (xmlui): JidWidget + small improvments:
Goffi <goffi@goffi.org>
parents:
2669
diff
changeset
|
180 |
|
e8dc00f612fb
jp (xmlui): JidWidget + small improvments:
Goffi <goffi@goffi.org>
parents:
2669
diff
changeset
|
181 def show(self): |
|
e8dc00f612fb
jp (xmlui): JidWidget + small improvments:
Goffi <goffi@goffi.org>
parents:
2669
diff
changeset
|
182 self.host.disp(u'') |
| 2408 | 183 |
| 184 | |
|
2669
bdb8276fd2da
frontends (xmlui): class_map is now an arg of create function:
Goffi <goffi@goffi.org>
parents:
2624
diff
changeset
|
185 class TextWidget(xmlui_base.TextWidget, ValueWidget): |
| 2408 | 186 type = u"text" |
| 187 | |
| 188 def show(self): | |
| 189 self.host.disp(self.value) | |
| 190 | |
| 191 | |
|
2669
bdb8276fd2da
frontends (xmlui): class_map is now an arg of create function:
Goffi <goffi@goffi.org>
parents:
2624
diff
changeset
|
192 class LabelWidget(xmlui_base.LabelWidget, ValueWidget): |
| 2408 | 193 type = u"label" |
| 194 | |
| 195 @property | |
| 196 def for_name(self): | |
| 197 try: | |
| 198 return self._xmlui_for_name | |
| 199 except AttributeError: | |
| 200 return None | |
| 201 | |
|
2624
56f94936df1e
code style reformatting using black
Goffi <goffi@goffi.org>
parents:
2562
diff
changeset
|
202 def show(self, no_lf=False, ansi=u""): |
| 2408 | 203 """show label |
| 204 | |
| 205 @param no_lf(bool): same as for [JP.disp] | |
| 206 @param ansi(unicode): ansi escape code to print before label | |
| 207 """ | |
| 208 self.disp(A.color(ansi, self.value), no_lf=no_lf) | |
| 209 | |
| 210 | |
|
2739
e8dc00f612fb
jp (xmlui): JidWidget + small improvments:
Goffi <goffi@goffi.org>
parents:
2669
diff
changeset
|
211 class JidWidget(xmlui_base.JidWidget, TextWidget): |
|
e8dc00f612fb
jp (xmlui): JidWidget + small improvments:
Goffi <goffi@goffi.org>
parents:
2669
diff
changeset
|
212 type = u"jid" |
|
e8dc00f612fb
jp (xmlui): JidWidget + small improvments:
Goffi <goffi@goffi.org>
parents:
2669
diff
changeset
|
213 |
|
2669
bdb8276fd2da
frontends (xmlui): class_map is now an arg of create function:
Goffi <goffi@goffi.org>
parents:
2624
diff
changeset
|
214 class StringWidget(xmlui_base.StringWidget, InputWidget): |
| 2408 | 215 type = u"string" |
| 216 | |
| 217 def show(self): | |
| 218 if self.read_only: | |
| 219 self.disp(self.value) | |
| 220 else: | |
| 221 elems = [] | |
| 222 self.verboseName(elems) | |
| 223 if self.value: | |
|
2624
56f94936df1e
code style reformatting using black
Goffi <goffi@goffi.org>
parents:
2562
diff
changeset
|
224 elems.append(_(u"(enter: {default})").format(default=self.value)) |
|
56f94936df1e
code style reformatting using black
Goffi <goffi@goffi.org>
parents:
2562
diff
changeset
|
225 elems.extend([C.A_HEADER, u"> "]) |
|
2960
5d13d357896c
jp (xmlui): fixed encoding for raw_input in StringWidget
Goffi <goffi@goffi.org>
parents:
2939
diff
changeset
|
226 value = raw_input(A.color(*elems).encode('utf-8')) |
| 2408 | 227 if value: |
|
2624
56f94936df1e
code style reformatting using black
Goffi <goffi@goffi.org>
parents:
2562
diff
changeset
|
228 # TODO: empty value should be possible |
| 2408 | 229 # an escape key should be used for default instead of enter with empty value |
| 230 self.value = value | |
| 231 | |
| 232 | |
|
2669
bdb8276fd2da
frontends (xmlui): class_map is now an arg of create function:
Goffi <goffi@goffi.org>
parents:
2624
diff
changeset
|
233 class JidInputWidget(xmlui_base.JidInputWidget, StringWidget): |
|
2624
56f94936df1e
code style reformatting using black
Goffi <goffi@goffi.org>
parents:
2562
diff
changeset
|
234 type = u"jid_input" |
| 2408 | 235 |
| 236 | |
|
2669
bdb8276fd2da
frontends (xmlui): class_map is now an arg of create function:
Goffi <goffi@goffi.org>
parents:
2624
diff
changeset
|
237 class TextBoxWidget(xmlui_base.TextWidget, StringWidget): |
| 2408 | 238 type = u"textbox" |
|
2939
18a98a541f7a
jp (xmlui manager): basic handling of multi-lines text in TextBoxWidget
Goffi <goffi@goffi.org>
parents:
2783
diff
changeset
|
239 # TODO: use a more advanced input method |
|
18a98a541f7a
jp (xmlui manager): basic handling of multi-lines text in TextBoxWidget
Goffi <goffi@goffi.org>
parents:
2783
diff
changeset
|
240 |
|
18a98a541f7a
jp (xmlui manager): basic handling of multi-lines text in TextBoxWidget
Goffi <goffi@goffi.org>
parents:
2783
diff
changeset
|
241 def show(self): |
|
18a98a541f7a
jp (xmlui manager): basic handling of multi-lines text in TextBoxWidget
Goffi <goffi@goffi.org>
parents:
2783
diff
changeset
|
242 self.verboseName() |
|
18a98a541f7a
jp (xmlui manager): basic handling of multi-lines text in TextBoxWidget
Goffi <goffi@goffi.org>
parents:
2783
diff
changeset
|
243 if self.read_only: |
|
18a98a541f7a
jp (xmlui manager): basic handling of multi-lines text in TextBoxWidget
Goffi <goffi@goffi.org>
parents:
2783
diff
changeset
|
244 self.disp(self.value) |
|
18a98a541f7a
jp (xmlui manager): basic handling of multi-lines text in TextBoxWidget
Goffi <goffi@goffi.org>
parents:
2783
diff
changeset
|
245 else: |
|
18a98a541f7a
jp (xmlui manager): basic handling of multi-lines text in TextBoxWidget
Goffi <goffi@goffi.org>
parents:
2783
diff
changeset
|
246 if self.value: |
|
18a98a541f7a
jp (xmlui manager): basic handling of multi-lines text in TextBoxWidget
Goffi <goffi@goffi.org>
parents:
2783
diff
changeset
|
247 self.disp(A.color(C.A_HEADER, u"↓ current value ↓\n", A.FG_CYAN, self.value, |
|
18a98a541f7a
jp (xmlui manager): basic handling of multi-lines text in TextBoxWidget
Goffi <goffi@goffi.org>
parents:
2783
diff
changeset
|
248 "")) |
|
18a98a541f7a
jp (xmlui manager): basic handling of multi-lines text in TextBoxWidget
Goffi <goffi@goffi.org>
parents:
2783
diff
changeset
|
249 |
|
18a98a541f7a
jp (xmlui manager): basic handling of multi-lines text in TextBoxWidget
Goffi <goffi@goffi.org>
parents:
2783
diff
changeset
|
250 values = [] |
|
18a98a541f7a
jp (xmlui manager): basic handling of multi-lines text in TextBoxWidget
Goffi <goffi@goffi.org>
parents:
2783
diff
changeset
|
251 while True: |
|
18a98a541f7a
jp (xmlui manager): basic handling of multi-lines text in TextBoxWidget
Goffi <goffi@goffi.org>
parents:
2783
diff
changeset
|
252 try: |
|
18a98a541f7a
jp (xmlui manager): basic handling of multi-lines text in TextBoxWidget
Goffi <goffi@goffi.org>
parents:
2783
diff
changeset
|
253 if not values: |
|
18a98a541f7a
jp (xmlui manager): basic handling of multi-lines text in TextBoxWidget
Goffi <goffi@goffi.org>
parents:
2783
diff
changeset
|
254 line = raw_input(A.color(C.A_HEADER, u"[Ctrl-D to finish]> ")) |
|
18a98a541f7a
jp (xmlui manager): basic handling of multi-lines text in TextBoxWidget
Goffi <goffi@goffi.org>
parents:
2783
diff
changeset
|
255 else: |
|
18a98a541f7a
jp (xmlui manager): basic handling of multi-lines text in TextBoxWidget
Goffi <goffi@goffi.org>
parents:
2783
diff
changeset
|
256 line = raw_input() |
|
18a98a541f7a
jp (xmlui manager): basic handling of multi-lines text in TextBoxWidget
Goffi <goffi@goffi.org>
parents:
2783
diff
changeset
|
257 values.append(line) |
|
18a98a541f7a
jp (xmlui manager): basic handling of multi-lines text in TextBoxWidget
Goffi <goffi@goffi.org>
parents:
2783
diff
changeset
|
258 except EOFError: |
|
18a98a541f7a
jp (xmlui manager): basic handling of multi-lines text in TextBoxWidget
Goffi <goffi@goffi.org>
parents:
2783
diff
changeset
|
259 break |
|
18a98a541f7a
jp (xmlui manager): basic handling of multi-lines text in TextBoxWidget
Goffi <goffi@goffi.org>
parents:
2783
diff
changeset
|
260 |
|
18a98a541f7a
jp (xmlui manager): basic handling of multi-lines text in TextBoxWidget
Goffi <goffi@goffi.org>
parents:
2783
diff
changeset
|
261 self.value = u'\n'.join(values).rstrip() |
| 2408 | 262 |
| 263 | |
|
2783
442ab697f831
frontends, jp, templates: added XHTMLBox widget:
Goffi <goffi@goffi.org>
parents:
2771
diff
changeset
|
264 class XHTMLBoxWidget(xmlui_base.XHTMLBoxWidget, StringWidget): |
|
442ab697f831
frontends, jp, templates: added XHTMLBox widget:
Goffi <goffi@goffi.org>
parents:
2771
diff
changeset
|
265 type = u"xhtmlbox" |
|
442ab697f831
frontends, jp, templates: added XHTMLBox widget:
Goffi <goffi@goffi.org>
parents:
2771
diff
changeset
|
266 |
|
442ab697f831
frontends, jp, templates: added XHTMLBox widget:
Goffi <goffi@goffi.org>
parents:
2771
diff
changeset
|
267 def show(self): |
|
442ab697f831
frontends, jp, templates: added XHTMLBox widget:
Goffi <goffi@goffi.org>
parents:
2771
diff
changeset
|
268 # FIXME: we use bridge in a blocking way as permitted by python-dbus |
|
442ab697f831
frontends, jp, templates: added XHTMLBox widget:
Goffi <goffi@goffi.org>
parents:
2771
diff
changeset
|
269 # this only for now to make it simpler, it must be refactored |
|
442ab697f831
frontends, jp, templates: added XHTMLBox widget:
Goffi <goffi@goffi.org>
parents:
2771
diff
changeset
|
270 # to use async when jp will be fully async (expected for 0.8) |
|
442ab697f831
frontends, jp, templates: added XHTMLBox widget:
Goffi <goffi@goffi.org>
parents:
2771
diff
changeset
|
271 self.value = self.host.bridge.syntaxConvert( |
|
442ab697f831
frontends, jp, templates: added XHTMLBox widget:
Goffi <goffi@goffi.org>
parents:
2771
diff
changeset
|
272 self.value, C.SYNTAX_XHTML, "markdown", False, self.host.profile) |
|
442ab697f831
frontends, jp, templates: added XHTMLBox widget:
Goffi <goffi@goffi.org>
parents:
2771
diff
changeset
|
273 super(XHTMLBoxWidget, self).show() |
|
442ab697f831
frontends, jp, templates: added XHTMLBox widget:
Goffi <goffi@goffi.org>
parents:
2771
diff
changeset
|
274 |
|
442ab697f831
frontends, jp, templates: added XHTMLBox widget:
Goffi <goffi@goffi.org>
parents:
2771
diff
changeset
|
275 |
|
2669
bdb8276fd2da
frontends (xmlui): class_map is now an arg of create function:
Goffi <goffi@goffi.org>
parents:
2624
diff
changeset
|
276 class ListWidget(xmlui_base.ListWidget, OptionsWidget): |
|
2624
56f94936df1e
code style reformatting using black
Goffi <goffi@goffi.org>
parents:
2562
diff
changeset
|
277 type = u"list" |
| 2408 | 278 # TODO: handle flags, notably multi |
| 279 | |
| 280 def show(self): | |
|
2541
65695b9343d3
jp (xmlui): added whitelist, read_only and values_only options:
Goffi <goffi@goffi.org>
parents:
2483
diff
changeset
|
281 if self.root.values_only: |
|
65695b9343d3
jp (xmlui): added whitelist, read_only and values_only options:
Goffi <goffi@goffi.org>
parents:
2483
diff
changeset
|
282 for value in self.values: |
|
65695b9343d3
jp (xmlui): added whitelist, read_only and values_only options:
Goffi <goffi@goffi.org>
parents:
2483
diff
changeset
|
283 self.disp(self.value) |
|
65695b9343d3
jp (xmlui): added whitelist, read_only and values_only options:
Goffi <goffi@goffi.org>
parents:
2483
diff
changeset
|
284 return |
| 2408 | 285 if not self.options: |
| 286 return | |
| 287 | |
| 288 # list display | |
| 289 self.verboseName() | |
| 290 | |
| 291 for idx, (value, label) in enumerate(self.options): | |
| 292 elems = [] | |
|
2541
65695b9343d3
jp (xmlui): added whitelist, read_only and values_only options:
Goffi <goffi@goffi.org>
parents:
2483
diff
changeset
|
293 if not self.root.read_only: |
|
2624
56f94936df1e
code style reformatting using black
Goffi <goffi@goffi.org>
parents:
2562
diff
changeset
|
294 elems.extend([C.A_SUBHEADER, unicode(idx), A.RESET, u": "]) |
| 2408 | 295 elems.append(label) |
| 296 self.verboseName(elems, value) | |
| 297 self.disp(A.color(*elems)) | |
| 298 | |
|
2541
65695b9343d3
jp (xmlui): added whitelist, read_only and values_only options:
Goffi <goffi@goffi.org>
parents:
2483
diff
changeset
|
299 if self.root.read_only: |
| 2408 | 300 return |
| 301 | |
| 302 if len(self.options) == 1: | |
| 303 # we have only one option, no need to ask | |
| 304 self.value = self.options[0][0] | |
| 305 return | |
| 306 | |
|
2624
56f94936df1e
code style reformatting using black
Goffi <goffi@goffi.org>
parents:
2562
diff
changeset
|
307 # we ask use to choose an option |
| 2408 | 308 choice = None |
|
2624
56f94936df1e
code style reformatting using black
Goffi <goffi@goffi.org>
parents:
2562
diff
changeset
|
309 limit_max = len(self.options) - 1 |
|
56f94936df1e
code style reformatting using black
Goffi <goffi@goffi.org>
parents:
2562
diff
changeset
|
310 while choice is None or choice < 0 or choice > limit_max: |
|
56f94936df1e
code style reformatting using black
Goffi <goffi@goffi.org>
parents:
2562
diff
changeset
|
311 choice = raw_input( |
|
56f94936df1e
code style reformatting using black
Goffi <goffi@goffi.org>
parents:
2562
diff
changeset
|
312 A.color(C.A_HEADER, _(u"your choice (0-{max}): ").format(max=limit_max)) |
|
56f94936df1e
code style reformatting using black
Goffi <goffi@goffi.org>
parents:
2562
diff
changeset
|
313 ) |
| 2408 | 314 try: |
| 315 choice = int(choice) | |
| 316 except ValueError: | |
| 317 choice = None | |
| 318 self.value = self.options[choice][0] | |
|
2624
56f94936df1e
code style reformatting using black
Goffi <goffi@goffi.org>
parents:
2562
diff
changeset
|
319 self.disp("") |
| 2408 | 320 |
| 321 | |
|
2669
bdb8276fd2da
frontends (xmlui): class_map is now an arg of create function:
Goffi <goffi@goffi.org>
parents:
2624
diff
changeset
|
322 class BoolWidget(xmlui_base.BoolWidget, InputWidget): |
|
2624
56f94936df1e
code style reformatting using black
Goffi <goffi@goffi.org>
parents:
2562
diff
changeset
|
323 type = u"bool" |
| 2408 | 324 |
| 325 def show(self): | |
|
2624
56f94936df1e
code style reformatting using black
Goffi <goffi@goffi.org>
parents:
2562
diff
changeset
|
326 disp_true = A.color(A.FG_GREEN, u"TRUE") |
|
56f94936df1e
code style reformatting using black
Goffi <goffi@goffi.org>
parents:
2562
diff
changeset
|
327 disp_false = A.color(A.FG_RED, u"FALSE") |
| 2408 | 328 if self.read_only: |
| 329 self.disp(disp_true if self.value else disp_false) | |
| 330 else: | |
|
2739
e8dc00f612fb
jp (xmlui): JidWidget + small improvments:
Goffi <goffi@goffi.org>
parents:
2669
diff
changeset
|
331 self.disp(A.color(C.A_HEADER, u"0: ", |
|
e8dc00f612fb
jp (xmlui): JidWidget + small improvments:
Goffi <goffi@goffi.org>
parents:
2669
diff
changeset
|
332 disp_false, A.RESET, |
|
e8dc00f612fb
jp (xmlui): JidWidget + small improvments:
Goffi <goffi@goffi.org>
parents:
2669
diff
changeset
|
333 u" *" if not self.value else u"")) |
|
e8dc00f612fb
jp (xmlui): JidWidget + small improvments:
Goffi <goffi@goffi.org>
parents:
2669
diff
changeset
|
334 self.disp(A.color(C.A_HEADER, u"1: ", |
|
e8dc00f612fb
jp (xmlui): JidWidget + small improvments:
Goffi <goffi@goffi.org>
parents:
2669
diff
changeset
|
335 disp_true, A.RESET, |
|
e8dc00f612fb
jp (xmlui): JidWidget + small improvments:
Goffi <goffi@goffi.org>
parents:
2669
diff
changeset
|
336 u" *" if self.value else u"")) |
| 2408 | 337 choice = None |
|
2624
56f94936df1e
code style reformatting using black
Goffi <goffi@goffi.org>
parents:
2562
diff
changeset
|
338 while choice not in ("0", "1"): |
|
56f94936df1e
code style reformatting using black
Goffi <goffi@goffi.org>
parents:
2562
diff
changeset
|
339 elems = [C.A_HEADER, _(u"your choice (0,1): ")] |
| 2408 | 340 self.verboseName(elems) |
| 341 choice = raw_input(A.color(*elems)) | |
| 342 self.value = bool(int(choice)) | |
|
2624
56f94936df1e
code style reformatting using black
Goffi <goffi@goffi.org>
parents:
2562
diff
changeset
|
343 self.disp("") |
| 2408 | 344 |
| 345 def _xmluiGetValue(self): | |
| 346 return C.boolConst(self.value) | |
| 347 | |
|
2624
56f94936df1e
code style reformatting using black
Goffi <goffi@goffi.org>
parents:
2562
diff
changeset
|
348 |
| 2408 | 349 ## Containers ## |
| 350 | |
|
2624
56f94936df1e
code style reformatting using black
Goffi <goffi@goffi.org>
parents:
2562
diff
changeset
|
351 |
| 2408 | 352 class Container(Base): |
|
2624
56f94936df1e
code style reformatting using black
Goffi <goffi@goffi.org>
parents:
2562
diff
changeset
|
353 category = u"container" |
| 2408 | 354 |
| 355 def __init__(self, xmlui_parent): | |
| 356 super(Container, self).__init__(xmlui_parent) | |
| 357 self.children = [] | |
| 358 | |
| 359 def __iter__(self): | |
| 360 return iter(self.children) | |
| 361 | |
| 362 def _xmluiAppend(self, widget): | |
| 363 self.children.append(widget) | |
| 364 | |
|
2541
65695b9343d3
jp (xmlui): added whitelist, read_only and values_only options:
Goffi <goffi@goffi.org>
parents:
2483
diff
changeset
|
365 def _xmluiRemove(self, widget): |
|
65695b9343d3
jp (xmlui): added whitelist, read_only and values_only options:
Goffi <goffi@goffi.org>
parents:
2483
diff
changeset
|
366 self.children.remove(widget) |
|
65695b9343d3
jp (xmlui): added whitelist, read_only and values_only options:
Goffi <goffi@goffi.org>
parents:
2483
diff
changeset
|
367 |
| 2408 | 368 def show(self): |
| 369 for child in self.children: | |
| 370 child.show() | |
| 371 | |
| 372 | |
|
2669
bdb8276fd2da
frontends (xmlui): class_map is now an arg of create function:
Goffi <goffi@goffi.org>
parents:
2624
diff
changeset
|
373 class VerticalContainer(xmlui_base.VerticalContainer, Container): |
|
2624
56f94936df1e
code style reformatting using black
Goffi <goffi@goffi.org>
parents:
2562
diff
changeset
|
374 type = u"vertical" |
| 2408 | 375 |
| 376 | |
|
2669
bdb8276fd2da
frontends (xmlui): class_map is now an arg of create function:
Goffi <goffi@goffi.org>
parents:
2624
diff
changeset
|
377 class PairsContainer(xmlui_base.PairsContainer, Container): |
|
2624
56f94936df1e
code style reformatting using black
Goffi <goffi@goffi.org>
parents:
2562
diff
changeset
|
378 type = u"pairs" |
| 2408 | 379 |
| 380 | |
|
2669
bdb8276fd2da
frontends (xmlui): class_map is now an arg of create function:
Goffi <goffi@goffi.org>
parents:
2624
diff
changeset
|
381 class LabelContainer(xmlui_base.PairsContainer, Container): |
|
2624
56f94936df1e
code style reformatting using black
Goffi <goffi@goffi.org>
parents:
2562
diff
changeset
|
382 type = u"label" |
| 2408 | 383 |
| 384 def show(self): | |
| 385 for child in self.children: | |
| 386 no_lf = False | |
| 387 # we check linked widget type | |
| 388 # to see if we want the label on the same line or not | |
|
2624
56f94936df1e
code style reformatting using black
Goffi <goffi@goffi.org>
parents:
2562
diff
changeset
|
389 if child.type == u"label": |
| 2408 | 390 for_name = child.for_name |
|
2739
e8dc00f612fb
jp (xmlui): JidWidget + small improvments:
Goffi <goffi@goffi.org>
parents:
2669
diff
changeset
|
391 if for_name: |
| 2408 | 392 for_widget = self.root.widgets[for_name] |
| 393 wid_type = for_widget.type | |
|
2624
56f94936df1e
code style reformatting using black
Goffi <goffi@goffi.org>
parents:
2562
diff
changeset
|
394 if self.root.values_only or wid_type in ( |
|
56f94936df1e
code style reformatting using black
Goffi <goffi@goffi.org>
parents:
2562
diff
changeset
|
395 "text", |
|
56f94936df1e
code style reformatting using black
Goffi <goffi@goffi.org>
parents:
2562
diff
changeset
|
396 "string", |
|
56f94936df1e
code style reformatting using black
Goffi <goffi@goffi.org>
parents:
2562
diff
changeset
|
397 "jid_input", |
|
56f94936df1e
code style reformatting using black
Goffi <goffi@goffi.org>
parents:
2562
diff
changeset
|
398 ): |
| 2408 | 399 no_lf = True |
|
2624
56f94936df1e
code style reformatting using black
Goffi <goffi@goffi.org>
parents:
2562
diff
changeset
|
400 elif wid_type == "bool" and for_widget.read_only: |
| 2408 | 401 no_lf = True |
| 402 child.show(no_lf=no_lf, ansi=A.FG_CYAN) | |
| 403 else: | |
| 404 child.show() | |
| 405 | |
|
2624
56f94936df1e
code style reformatting using black
Goffi <goffi@goffi.org>
parents:
2562
diff
changeset
|
406 |
| 2408 | 407 ## Dialogs ## |
| 408 | |
| 409 | |
| 410 class Dialog(object): | |
| 411 def __init__(self, xmlui_parent): | |
| 412 self.xmlui_parent = xmlui_parent | |
| 413 self.host = self.xmlui_parent.host | |
| 414 | |
| 415 def disp(self, *args, **kwargs): | |
| 416 self.host.disp(*args, **kwargs) | |
| 417 | |
| 418 def show(self): | |
| 419 """display current dialog | |
| 420 | |
| 421 must be overriden by subclasses | |
| 422 """ | |
| 423 raise NotImplementedError(self.__class__) | |
| 424 | |
| 425 | |
|
2669
bdb8276fd2da
frontends (xmlui): class_map is now an arg of create function:
Goffi <goffi@goffi.org>
parents:
2624
diff
changeset
|
426 class NoteDialog(xmlui_base.NoteDialog, Dialog): |
| 2408 | 427 def show(self): |
| 428 # TODO: handle title and level | |
| 429 self.disp(self.message) | |
| 430 | |
|
2739
e8dc00f612fb
jp (xmlui): JidWidget + small improvments:
Goffi <goffi@goffi.org>
parents:
2669
diff
changeset
|
431 def __init__(self, xmlui_parent, title, message, level): |
|
e8dc00f612fb
jp (xmlui): JidWidget + small improvments:
Goffi <goffi@goffi.org>
parents:
2669
diff
changeset
|
432 Dialog.__init__(self, xmlui_parent) |
|
e8dc00f612fb
jp (xmlui): JidWidget + small improvments:
Goffi <goffi@goffi.org>
parents:
2669
diff
changeset
|
433 xmlui_base.NoteDialog.__init__(self, xmlui_parent) |
| 2408 | 434 self.title, self.message, self.level = title, message, level |
| 435 | |
|
2624
56f94936df1e
code style reformatting using black
Goffi <goffi@goffi.org>
parents:
2562
diff
changeset
|
436 |
| 2408 | 437 ## Factory ## |
| 438 | |
| 439 | |
| 440 class WidgetFactory(object): | |
| 441 def __getattr__(self, attr): | |
| 442 if attr.startswith("create"): | |
| 443 cls = globals()[attr[6:]] | |
| 444 return cls | |
| 445 | |
| 446 | |
|
2669
bdb8276fd2da
frontends (xmlui): class_map is now an arg of create function:
Goffi <goffi@goffi.org>
parents:
2624
diff
changeset
|
447 class XMLUIPanel(xmlui_base.XMLUIPanel): |
| 2408 | 448 widget_factory = WidgetFactory() |
| 449 _actions = 0 # use to keep track of bridge's launchAction calls | |
|
2541
65695b9343d3
jp (xmlui): added whitelist, read_only and values_only options:
Goffi <goffi@goffi.org>
parents:
2483
diff
changeset
|
450 read_only = False |
|
65695b9343d3
jp (xmlui): added whitelist, read_only and values_only options:
Goffi <goffi@goffi.org>
parents:
2483
diff
changeset
|
451 values_only = False |
| 2408 | 452 workflow = None |
| 453 _submit_cb = None | |
| 454 | |
|
2669
bdb8276fd2da
frontends (xmlui): class_map is now an arg of create function:
Goffi <goffi@goffi.org>
parents:
2624
diff
changeset
|
455 def __init__(self, host, parsed_dom, title=None, flags=None, callback=None, |
|
bdb8276fd2da
frontends (xmlui): class_map is now an arg of create function:
Goffi <goffi@goffi.org>
parents:
2624
diff
changeset
|
456 ignore=None, whitelist=None, profile=None): |
|
bdb8276fd2da
frontends (xmlui): class_map is now an arg of create function:
Goffi <goffi@goffi.org>
parents:
2624
diff
changeset
|
457 xmlui_base.XMLUIPanel.__init__( |
|
2624
56f94936df1e
code style reformatting using black
Goffi <goffi@goffi.org>
parents:
2562
diff
changeset
|
458 self, |
|
56f94936df1e
code style reformatting using black
Goffi <goffi@goffi.org>
parents:
2562
diff
changeset
|
459 host, |
|
56f94936df1e
code style reformatting using black
Goffi <goffi@goffi.org>
parents:
2562
diff
changeset
|
460 parsed_dom, |
|
56f94936df1e
code style reformatting using black
Goffi <goffi@goffi.org>
parents:
2562
diff
changeset
|
461 title=title, |
|
56f94936df1e
code style reformatting using black
Goffi <goffi@goffi.org>
parents:
2562
diff
changeset
|
462 flags=flags, |
|
56f94936df1e
code style reformatting using black
Goffi <goffi@goffi.org>
parents:
2562
diff
changeset
|
463 ignore=ignore, |
|
56f94936df1e
code style reformatting using black
Goffi <goffi@goffi.org>
parents:
2562
diff
changeset
|
464 whitelist=whitelist, |
|
56f94936df1e
code style reformatting using black
Goffi <goffi@goffi.org>
parents:
2562
diff
changeset
|
465 profile=host.profile, |
|
56f94936df1e
code style reformatting using black
Goffi <goffi@goffi.org>
parents:
2562
diff
changeset
|
466 ) |
| 2408 | 467 self.submitted = False |
| 468 | |
| 469 @property | |
| 470 def command(self): | |
| 471 return self.host.command | |
| 472 | |
|
2541
65695b9343d3
jp (xmlui): added whitelist, read_only and values_only options:
Goffi <goffi@goffi.org>
parents:
2483
diff
changeset
|
473 def show(self, workflow=None, read_only=False, values_only=False): |
| 2408 | 474 """display the panel |
| 475 | |
| 476 @param workflow(list, None): command to execute if not None | |
| 477 put here for convenience, the main workflow is the class attribute | |
| 478 (because workflow can continue in subclasses) | |
| 479 command are a list of consts or lists: | |
| 480 - SUBMIT is the only constant so far, it submits the XMLUI | |
| 481 - list must contain widget name/widget value to fill | |
|
2541
65695b9343d3
jp (xmlui): added whitelist, read_only and values_only options:
Goffi <goffi@goffi.org>
parents:
2483
diff
changeset
|
482 @param read_only(bool): if True, don't request values |
|
65695b9343d3
jp (xmlui): added whitelist, read_only and values_only options:
Goffi <goffi@goffi.org>
parents:
2483
diff
changeset
|
483 @param values_only(bool): if True, only show select values (imply read_only) |
| 2408 | 484 """ |
|
2541
65695b9343d3
jp (xmlui): added whitelist, read_only and values_only options:
Goffi <goffi@goffi.org>
parents:
2483
diff
changeset
|
485 self.read_only = read_only |
|
65695b9343d3
jp (xmlui): added whitelist, read_only and values_only options:
Goffi <goffi@goffi.org>
parents:
2483
diff
changeset
|
486 self.values_only = values_only |
|
65695b9343d3
jp (xmlui): added whitelist, read_only and values_only options:
Goffi <goffi@goffi.org>
parents:
2483
diff
changeset
|
487 if self.values_only: |
|
65695b9343d3
jp (xmlui): added whitelist, read_only and values_only options:
Goffi <goffi@goffi.org>
parents:
2483
diff
changeset
|
488 self.read_only = True |
| 2408 | 489 if workflow: |
| 490 XMLUIPanel.workflow = workflow | |
| 491 if XMLUIPanel.workflow: | |
| 492 self.runWorkflow() | |
| 493 else: | |
| 494 self.main_cont.show() | |
| 495 | |
| 496 def runWorkflow(self): | |
| 497 """loop into workflow commands and execute commands | |
| 498 | |
| 499 SUBMIT will interrupt workflow (which will be continue on callback) | |
| 500 @param workflow(list): same as [show] | |
| 501 """ | |
| 502 workflow = XMLUIPanel.workflow | |
| 503 while True: | |
| 504 try: | |
| 505 cmd = workflow.pop(0) | |
| 506 except IndexError: | |
| 507 break | |
| 508 if cmd == SUBMIT: | |
| 509 self.onFormSubmitted() | |
| 510 self.submit_id = None # avoid double submit | |
| 511 return | |
| 512 elif isinstance(cmd, list): | |
| 513 name, value = cmd | |
|
2412
7641bef56dcd
jp (xmlui): fixed workflow when value is for a BoolWidget
Goffi <goffi@goffi.org>
parents:
2410
diff
changeset
|
514 widget = self.widgets[name] |
|
2624
56f94936df1e
code style reformatting using black
Goffi <goffi@goffi.org>
parents:
2562
diff
changeset
|
515 if widget.type == "bool": |
|
2412
7641bef56dcd
jp (xmlui): fixed workflow when value is for a BoolWidget
Goffi <goffi@goffi.org>
parents:
2410
diff
changeset
|
516 value = C.bool(value) |
|
7641bef56dcd
jp (xmlui): fixed workflow when value is for a BoolWidget
Goffi <goffi@goffi.org>
parents:
2410
diff
changeset
|
517 widget.value = value |
| 2408 | 518 self.show() |
| 519 | |
| 520 def submitForm(self, callback=None): | |
| 521 XMLUIPanel._submit_cb = callback | |
| 522 self.onFormSubmitted() | |
| 523 | |
| 524 def onFormSubmitted(self, ignore=None): | |
|
2624
56f94936df1e
code style reformatting using black
Goffi <goffi@goffi.org>
parents:
2562
diff
changeset
|
525 # self.submitted is a Q&D workaround to avoid |
| 2408 | 526 # double submit when a workflow is set |
| 527 if self.submitted: | |
| 528 return | |
| 529 self.submitted = True | |
| 530 super(XMLUIPanel, self).onFormSubmitted(ignore) | |
| 531 | |
| 532 def _xmluiClose(self): | |
| 533 pass | |
| 534 | |
| 535 def _launchActionCb(self, data): | |
| 536 XMLUIPanel._actions -= 1 | |
| 537 assert XMLUIPanel._actions >= 0 | |
|
2624
56f94936df1e
code style reformatting using black
Goffi <goffi@goffi.org>
parents:
2562
diff
changeset
|
538 if u"xmlui" in data: |
|
56f94936df1e
code style reformatting using black
Goffi <goffi@goffi.org>
parents:
2562
diff
changeset
|
539 xmlui_raw = data["xmlui"] |
|
2669
bdb8276fd2da
frontends (xmlui): class_map is now an arg of create function:
Goffi <goffi@goffi.org>
parents:
2624
diff
changeset
|
540 xmlui = create(self.host, xmlui_raw) |
| 2408 | 541 xmlui.show() |
| 542 if xmlui.submit_id: | |
| 543 xmlui.onFormSubmitted() | |
| 544 # TODO: handle data other than XMLUI | |
| 545 if not XMLUIPanel._actions: | |
| 546 if self._submit_cb is None: | |
| 547 self.host.quit() | |
| 548 else: | |
| 549 self._submit_cb() | |
| 550 | |
| 551 def _xmluiLaunchAction(self, action_id, data): | |
| 552 XMLUIPanel._actions += 1 | |
| 553 self.host.bridge.launchAction( | |
| 554 action_id, | |
| 555 data, | |
| 556 self.profile, | |
| 557 callback=self._launchActionCb, | |
|
2624
56f94936df1e
code style reformatting using black
Goffi <goffi@goffi.org>
parents:
2562
diff
changeset
|
558 errback=partial( |
|
56f94936df1e
code style reformatting using black
Goffi <goffi@goffi.org>
parents:
2562
diff
changeset
|
559 self.command.errback, |
|
56f94936df1e
code style reformatting using black
Goffi <goffi@goffi.org>
parents:
2562
diff
changeset
|
560 msg=_(u"can't launch XMLUI action: {}"), |
|
56f94936df1e
code style reformatting using black
Goffi <goffi@goffi.org>
parents:
2562
diff
changeset
|
561 exit_code=C.EXIT_BRIDGE_ERRBACK, |
|
56f94936df1e
code style reformatting using black
Goffi <goffi@goffi.org>
parents:
2562
diff
changeset
|
562 ), |
|
56f94936df1e
code style reformatting using black
Goffi <goffi@goffi.org>
parents:
2562
diff
changeset
|
563 ) |
| 2408 | 564 |
| 565 | |
|
2669
bdb8276fd2da
frontends (xmlui): class_map is now an arg of create function:
Goffi <goffi@goffi.org>
parents:
2624
diff
changeset
|
566 class XMLUIDialog(xmlui_base.XMLUIDialog): |
|
2624
56f94936df1e
code style reformatting using black
Goffi <goffi@goffi.org>
parents:
2562
diff
changeset
|
567 type = "dialog" |
| 2408 | 568 dialog_factory = WidgetFactory() |
|
2541
65695b9343d3
jp (xmlui): added whitelist, read_only and values_only options:
Goffi <goffi@goffi.org>
parents:
2483
diff
changeset
|
569 read_only = False |
| 2408 | 570 |
|
2765
378188abe941
misc: replaced all "dummy" by the more conventional and readable "__" ("_" being used for gettext)
Goffi <goffi@goffi.org>
parents:
2739
diff
changeset
|
571 def show(self, __=None): |
| 2408 | 572 self.dlg.show() |
| 573 | |
| 574 def _xmluiClose(self): | |
| 575 pass | |
| 576 | |
| 577 | |
|
2669
bdb8276fd2da
frontends (xmlui): class_map is now an arg of create function:
Goffi <goffi@goffi.org>
parents:
2624
diff
changeset
|
578 create = partial(xmlui_base.create, class_map={ |
|
bdb8276fd2da
frontends (xmlui): class_map is now an arg of create function:
Goffi <goffi@goffi.org>
parents:
2624
diff
changeset
|
579 xmlui_base.CLASS_PANEL: XMLUIPanel, |
|
bdb8276fd2da
frontends (xmlui): class_map is now an arg of create function:
Goffi <goffi@goffi.org>
parents:
2624
diff
changeset
|
580 xmlui_base.CLASS_DIALOG: XMLUIDialog}) |