annotate browser_side/dialog.py @ 196:c2639c9f86ea

Browser Side: Widgets can now be moved, header (title bar) is draggable: - DragLabel moved to tools - new LiberviaDragWidget which manage currently dragged widget - getLiberviaWidgetsCount give number of widget of WidgetsPanel - LiberviaWidget's header has now its own class - new "WIDGET" drag type /!\ not fully finished, can crash if moved on the bad border (like last row border if the widget is the only one on this row)
author Goffi <goffi@goffi.org>
date Tue, 05 Mar 2013 01:20:59 +0100
parents 9763dec220ed
children bbcad87585eb
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
26
824516b247e6 browser side: added ContactsChooser dialog
Goffi <goffi@goffi.org>
parents:
diff changeset
1 #!/usr/bin/python
824516b247e6 browser side: added ContactsChooser dialog
Goffi <goffi@goffi.org>
parents:
diff changeset
2 # -*- coding: utf-8 -*-
824516b247e6 browser side: added ContactsChooser dialog
Goffi <goffi@goffi.org>
parents:
diff changeset
3
824516b247e6 browser side: added ContactsChooser dialog
Goffi <goffi@goffi.org>
parents:
diff changeset
4 """
824516b247e6 browser side: added ContactsChooser dialog
Goffi <goffi@goffi.org>
parents:
diff changeset
5 Libervia: a Salut à Toi frontend
165
9763dec220ed dates update
Goffi <goffi@goffi.org>
parents: 145
diff changeset
6 Copyright (C) 2011, 2012, 2013 Jérôme Poisson <goffi@goffi.org>
26
824516b247e6 browser side: added ContactsChooser dialog
Goffi <goffi@goffi.org>
parents:
diff changeset
7
824516b247e6 browser side: added ContactsChooser dialog
Goffi <goffi@goffi.org>
parents:
diff changeset
8 This program is free software: you can redistribute it and/or modify
824516b247e6 browser side: added ContactsChooser dialog
Goffi <goffi@goffi.org>
parents:
diff changeset
9 it under the terms of the GNU Affero General Public License as published by
824516b247e6 browser side: added ContactsChooser dialog
Goffi <goffi@goffi.org>
parents:
diff changeset
10 the Free Software Foundation, either version 3 of the License, or
824516b247e6 browser side: added ContactsChooser dialog
Goffi <goffi@goffi.org>
parents:
diff changeset
11 (at your option) any later version.
824516b247e6 browser side: added ContactsChooser dialog
Goffi <goffi@goffi.org>
parents:
diff changeset
12
824516b247e6 browser side: added ContactsChooser dialog
Goffi <goffi@goffi.org>
parents:
diff changeset
13 This program is distributed in the hope that it will be useful,
824516b247e6 browser side: added ContactsChooser dialog
Goffi <goffi@goffi.org>
parents:
diff changeset
14 but WITHOUT ANY WARRANTY; without even the implied warranty of
824516b247e6 browser side: added ContactsChooser dialog
Goffi <goffi@goffi.org>
parents:
diff changeset
15 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
824516b247e6 browser side: added ContactsChooser dialog
Goffi <goffi@goffi.org>
parents:
diff changeset
16 GNU Affero General Public License for more details.
824516b247e6 browser side: added ContactsChooser dialog
Goffi <goffi@goffi.org>
parents:
diff changeset
17
824516b247e6 browser side: added ContactsChooser dialog
Goffi <goffi@goffi.org>
parents:
diff changeset
18 You should have received a copy of the GNU Affero General Public License
824516b247e6 browser side: added ContactsChooser dialog
Goffi <goffi@goffi.org>
parents:
diff changeset
19 along with this program. If not, see <http://www.gnu.org/licenses/>.
824516b247e6 browser side: added ContactsChooser dialog
Goffi <goffi@goffi.org>
parents:
diff changeset
20 """
824516b247e6 browser side: added ContactsChooser dialog
Goffi <goffi@goffi.org>
parents:
diff changeset
21
824516b247e6 browser side: added ContactsChooser dialog
Goffi <goffi@goffi.org>
parents:
diff changeset
22 from pyjamas.ui.VerticalPanel import VerticalPanel
824516b247e6 browser side: added ContactsChooser dialog
Goffi <goffi@goffi.org>
parents:
diff changeset
23 from pyjamas.ui.HorizontalPanel import HorizontalPanel
43
a7ff1e6f1229 browser_side: prevent default for escape key (cancel HTTPRequest in FF)
Goffi <goffi@goffi.org>
parents: 42
diff changeset
24 from pyjamas.ui.PopupPanel import PopupPanel
26
824516b247e6 browser side: added ContactsChooser dialog
Goffi <goffi@goffi.org>
parents:
diff changeset
25 from pyjamas.ui.DialogBox import DialogBox
824516b247e6 browser side: added ContactsChooser dialog
Goffi <goffi@goffi.org>
parents:
diff changeset
26 from pyjamas.ui.ListBox import ListBox
824516b247e6 browser side: added ContactsChooser dialog
Goffi <goffi@goffi.org>
parents:
diff changeset
27 from pyjamas.ui.Button import Button
52
4419ef07bb2b browser side: adding contact, first draft
Goffi <goffi@goffi.org>
parents: 49
diff changeset
28 from pyjamas.ui.TextBox import TextBox
4419ef07bb2b browser side: adding contact, first draft
Goffi <goffi@goffi.org>
parents: 49
diff changeset
29 from pyjamas.ui.Label import Label
41
7782a786b2f0 Tarot game: score is now shown (need to use XMLUI later)
Goffi <goffi@goffi.org>
parents: 39
diff changeset
30 from pyjamas.ui.HTML import HTML
62
12e889a683ce server side: misc stuff:
Goffi <goffi@goffi.org>
parents: 57
diff changeset
31 from pyjamas.ui.Frame import Frame
48
153de5d461a4 added Social Contract \o. (in French only so far)
Goffi <goffi@goffi.org>
parents: 43
diff changeset
32 from pyjamas.ui import HasAlignment
52
4419ef07bb2b browser side: adding contact, first draft
Goffi <goffi@goffi.org>
parents: 49
diff changeset
33 from pyjamas.ui.KeyboardListener import KEY_ESCAPE, KEY_ENTER
95
1c75fd97baf9 browser side: widgets' setting: mouse wheel can now be used to change values
Goffi <goffi@goffi.org>
parents: 94
diff changeset
34 from pyjamas.ui.MouseListener import MouseWheelHandler
90
9729ed7171a6 browser side: Widgets' setting (col & row span can be changed
Goffi <goffi@goffi.org>
parents: 66
diff changeset
35 from pyjamas import DOM
26
824516b247e6 browser side: added ContactsChooser dialog
Goffi <goffi@goffi.org>
parents:
diff changeset
36
824516b247e6 browser side: added ContactsChooser dialog
Goffi <goffi@goffi.org>
parents:
diff changeset
37 class ContactsChooser(DialogBox):
824516b247e6 browser side: added ContactsChooser dialog
Goffi <goffi@goffi.org>
parents:
diff changeset
38
824516b247e6 browser side: added ContactsChooser dialog
Goffi <goffi@goffi.org>
parents:
diff changeset
39 def __init__(self, host, callback, nb_contact=None, text='Please select contacts'):
824516b247e6 browser side: added ContactsChooser dialog
Goffi <goffi@goffi.org>
parents:
diff changeset
40 """
824516b247e6 browser side: added ContactsChooser dialog
Goffi <goffi@goffi.org>
parents:
diff changeset
41 ContactsChooser allow to select one or several connected contacts
824516b247e6 browser side: added ContactsChooser dialog
Goffi <goffi@goffi.org>
parents:
diff changeset
42 @param host: SatWebFrontend instance
824516b247e6 browser side: added ContactsChooser dialog
Goffi <goffi@goffi.org>
parents:
diff changeset
43 @param callback: method to call when contacts have been choosed
824516b247e6 browser side: added ContactsChooser dialog
Goffi <goffi@goffi.org>
parents:
diff changeset
44 @param nb_contact: number of contacts that have to be selected, None for no limit
824516b247e6 browser side: added ContactsChooser dialog
Goffi <goffi@goffi.org>
parents:
diff changeset
45 """
824516b247e6 browser side: added ContactsChooser dialog
Goffi <goffi@goffi.org>
parents:
diff changeset
46 self.host = host
824516b247e6 browser side: added ContactsChooser dialog
Goffi <goffi@goffi.org>
parents:
diff changeset
47 self.callback = callback
824516b247e6 browser side: added ContactsChooser dialog
Goffi <goffi@goffi.org>
parents:
diff changeset
48 self.nb_contact = nb_contact
824516b247e6 browser side: added ContactsChooser dialog
Goffi <goffi@goffi.org>
parents:
diff changeset
49 DialogBox.__init__(self, centered=True)
824516b247e6 browser side: added ContactsChooser dialog
Goffi <goffi@goffi.org>
parents:
diff changeset
50
824516b247e6 browser side: added ContactsChooser dialog
Goffi <goffi@goffi.org>
parents:
diff changeset
51 content = VerticalPanel()
824516b247e6 browser side: added ContactsChooser dialog
Goffi <goffi@goffi.org>
parents:
diff changeset
52 content.setWidth('100%')
824516b247e6 browser side: added ContactsChooser dialog
Goffi <goffi@goffi.org>
parents:
diff changeset
53 self.contacts_list = ListBox()
824516b247e6 browser side: added ContactsChooser dialog
Goffi <goffi@goffi.org>
parents:
diff changeset
54 self.contacts_list.setVisibleItemCount(10)
824516b247e6 browser side: added ContactsChooser dialog
Goffi <goffi@goffi.org>
parents:
diff changeset
55 self.contacts_list.setMultipleSelect(True)
824516b247e6 browser side: added ContactsChooser dialog
Goffi <goffi@goffi.org>
parents:
diff changeset
56 self.contacts_list.setWidth("100%")
824516b247e6 browser side: added ContactsChooser dialog
Goffi <goffi@goffi.org>
parents:
diff changeset
57 self.contacts_list.setStyleName('contactsChooser')
824516b247e6 browser side: added ContactsChooser dialog
Goffi <goffi@goffi.org>
parents:
diff changeset
58 self.contacts_list.addChangeListener(self.onChange)
824516b247e6 browser side: added ContactsChooser dialog
Goffi <goffi@goffi.org>
parents:
diff changeset
59 content.add(self.contacts_list)
824516b247e6 browser side: added ContactsChooser dialog
Goffi <goffi@goffi.org>
parents:
diff changeset
60 button_panel = HorizontalPanel()
824516b247e6 browser side: added ContactsChooser dialog
Goffi <goffi@goffi.org>
parents:
diff changeset
61 self.choose_button = Button("Choose", self.onChoose)
125
f9d63624699f radio collective integration, first draft
Goffi <goffi@goffi.org>
parents: 95
diff changeset
62 if (nb_contact):
f9d63624699f radio collective integration, first draft
Goffi <goffi@goffi.org>
parents: 95
diff changeset
63 self.choose_button.setEnabled(False)
26
824516b247e6 browser side: added ContactsChooser dialog
Goffi <goffi@goffi.org>
parents:
diff changeset
64 button_panel.add(self.choose_button)
824516b247e6 browser side: added ContactsChooser dialog
Goffi <goffi@goffi.org>
parents:
diff changeset
65 button_panel.add(Button("Cancel", self.onCancel))
824516b247e6 browser side: added ContactsChooser dialog
Goffi <goffi@goffi.org>
parents:
diff changeset
66 content.add(button_panel)
824516b247e6 browser side: added ContactsChooser dialog
Goffi <goffi@goffi.org>
parents:
diff changeset
67 self.setHTML(text)
824516b247e6 browser side: added ContactsChooser dialog
Goffi <goffi@goffi.org>
parents:
diff changeset
68 self.setWidget(content)
824516b247e6 browser side: added ContactsChooser dialog
Goffi <goffi@goffi.org>
parents:
diff changeset
69
62
12e889a683ce server side: misc stuff:
Goffi <goffi@goffi.org>
parents: 57
diff changeset
70 def onChange(self, sender):
26
824516b247e6 browser side: added ContactsChooser dialog
Goffi <goffi@goffi.org>
parents:
diff changeset
71 if self.nb_contact:
824516b247e6 browser side: added ContactsChooser dialog
Goffi <goffi@goffi.org>
parents:
diff changeset
72 if len(self.contacts_list.getSelectedValues()) == self.nb_contact:
824516b247e6 browser side: added ContactsChooser dialog
Goffi <goffi@goffi.org>
parents:
diff changeset
73 self.choose_button.setEnabled(True)
824516b247e6 browser side: added ContactsChooser dialog
Goffi <goffi@goffi.org>
parents:
diff changeset
74 else:
824516b247e6 browser side: added ContactsChooser dialog
Goffi <goffi@goffi.org>
parents:
diff changeset
75 self.choose_button.setEnabled(False)
824516b247e6 browser side: added ContactsChooser dialog
Goffi <goffi@goffi.org>
parents:
diff changeset
76
824516b247e6 browser side: added ContactsChooser dialog
Goffi <goffi@goffi.org>
parents:
diff changeset
77 def getContacts(self):
824516b247e6 browser side: added ContactsChooser dialog
Goffi <goffi@goffi.org>
parents:
diff changeset
78 """
824516b247e6 browser side: added ContactsChooser dialog
Goffi <goffi@goffi.org>
parents:
diff changeset
79 Actually ask to choose the contacts
824516b247e6 browser side: added ContactsChooser dialog
Goffi <goffi@goffi.org>
parents:
diff changeset
80 """
824516b247e6 browser side: added ContactsChooser dialog
Goffi <goffi@goffi.org>
parents:
diff changeset
81 self.contacts_list.clear()
824516b247e6 browser side: added ContactsChooser dialog
Goffi <goffi@goffi.org>
parents:
diff changeset
82 for contact in self.host.contact_panel.getConnected():
32
6b8da70b0799 browser_side: contactsChooser now discard MUC rooms
Goffi <goffi@goffi.org>
parents: 26
diff changeset
83 if contact not in [room.bare for room in self.host.room_list]:
6b8da70b0799 browser_side: contactsChooser now discard MUC rooms
Goffi <goffi@goffi.org>
parents: 26
diff changeset
84 self.contacts_list.addItem(contact)
26
824516b247e6 browser side: added ContactsChooser dialog
Goffi <goffi@goffi.org>
parents:
diff changeset
85 self.show()
824516b247e6 browser side: added ContactsChooser dialog
Goffi <goffi@goffi.org>
parents:
diff changeset
86
62
12e889a683ce server side: misc stuff:
Goffi <goffi@goffi.org>
parents: 57
diff changeset
87 def onChoose(self, sender):
26
824516b247e6 browser side: added ContactsChooser dialog
Goffi <goffi@goffi.org>
parents:
diff changeset
88 self.hide()
824516b247e6 browser side: added ContactsChooser dialog
Goffi <goffi@goffi.org>
parents:
diff changeset
89 self.callback(self.contacts_list.getSelectedValues())
824516b247e6 browser side: added ContactsChooser dialog
Goffi <goffi@goffi.org>
parents:
diff changeset
90
62
12e889a683ce server side: misc stuff:
Goffi <goffi@goffi.org>
parents: 57
diff changeset
91 def onCancel(self, sender):
26
824516b247e6 browser side: added ContactsChooser dialog
Goffi <goffi@goffi.org>
parents:
diff changeset
92 self.hide()
824516b247e6 browser side: added ContactsChooser dialog
Goffi <goffi@goffi.org>
parents:
diff changeset
93
55
d5266c41ca24 Roster list update, contact deletion + some refactoring
Goffi <goffi@goffi.org>
parents: 54
diff changeset
94 class GenericConfirmDialog(DialogBox):
39
305e81c7a32c Tarot game: a game can now be finished
Goffi <goffi@goffi.org>
parents: 32
diff changeset
95
55
d5266c41ca24 Roster list update, contact deletion + some refactoring
Goffi <goffi@goffi.org>
parents: 54
diff changeset
96 def __init__(self, widgets, callback, title='Confirmation'):
39
305e81c7a32c Tarot game: a game can now be finished
Goffi <goffi@goffi.org>
parents: 32
diff changeset
97 """
305e81c7a32c Tarot game: a game can now be finished
Goffi <goffi@goffi.org>
parents: 32
diff changeset
98 Dialog to confirm an action
305e81c7a32c Tarot game: a game can now be finished
Goffi <goffi@goffi.org>
parents: 32
diff changeset
99 @param callback: method to call when contacts have been choosed
305e81c7a32c Tarot game: a game can now be finished
Goffi <goffi@goffi.org>
parents: 32
diff changeset
100 """
305e81c7a32c Tarot game: a game can now be finished
Goffi <goffi@goffi.org>
parents: 32
diff changeset
101 self.callback = callback
305e81c7a32c Tarot game: a game can now be finished
Goffi <goffi@goffi.org>
parents: 32
diff changeset
102 DialogBox.__init__(self, centered=True)
305e81c7a32c Tarot game: a game can now be finished
Goffi <goffi@goffi.org>
parents: 32
diff changeset
103
305e81c7a32c Tarot game: a game can now be finished
Goffi <goffi@goffi.org>
parents: 32
diff changeset
104 content = VerticalPanel()
305e81c7a32c Tarot game: a game can now be finished
Goffi <goffi@goffi.org>
parents: 32
diff changeset
105 content.setWidth('100%')
55
d5266c41ca24 Roster list update, contact deletion + some refactoring
Goffi <goffi@goffi.org>
parents: 54
diff changeset
106 for wid in widgets:
d5266c41ca24 Roster list update, contact deletion + some refactoring
Goffi <goffi@goffi.org>
parents: 54
diff changeset
107 content.add(wid)
39
305e81c7a32c Tarot game: a game can now be finished
Goffi <goffi@goffi.org>
parents: 32
diff changeset
108 button_panel = HorizontalPanel()
305e81c7a32c Tarot game: a game can now be finished
Goffi <goffi@goffi.org>
parents: 32
diff changeset
109 self.confirm_button = Button("OK", self.onConfirm)
305e81c7a32c Tarot game: a game can now be finished
Goffi <goffi@goffi.org>
parents: 32
diff changeset
110 button_panel.add(self.confirm_button)
305e81c7a32c Tarot game: a game can now be finished
Goffi <goffi@goffi.org>
parents: 32
diff changeset
111 button_panel.add(Button("Cancel", self.onCancel))
305e81c7a32c Tarot game: a game can now be finished
Goffi <goffi@goffi.org>
parents: 32
diff changeset
112 content.add(button_panel)
55
d5266c41ca24 Roster list update, contact deletion + some refactoring
Goffi <goffi@goffi.org>
parents: 54
diff changeset
113 self.setHTML(title)
39
305e81c7a32c Tarot game: a game can now be finished
Goffi <goffi@goffi.org>
parents: 32
diff changeset
114 self.setWidget(content)
305e81c7a32c Tarot game: a game can now be finished
Goffi <goffi@goffi.org>
parents: 32
diff changeset
115
62
12e889a683ce server side: misc stuff:
Goffi <goffi@goffi.org>
parents: 57
diff changeset
116 def onConfirm(self, sender):
39
305e81c7a32c Tarot game: a game can now be finished
Goffi <goffi@goffi.org>
parents: 32
diff changeset
117 self.hide()
305e81c7a32c Tarot game: a game can now be finished
Goffi <goffi@goffi.org>
parents: 32
diff changeset
118 self.callback(True)
305e81c7a32c Tarot game: a game can now be finished
Goffi <goffi@goffi.org>
parents: 32
diff changeset
119
62
12e889a683ce server side: misc stuff:
Goffi <goffi@goffi.org>
parents: 57
diff changeset
120 def onCancel(self, sender):
39
305e81c7a32c Tarot game: a game can now be finished
Goffi <goffi@goffi.org>
parents: 32
diff changeset
121 self.hide()
305e81c7a32c Tarot game: a game can now be finished
Goffi <goffi@goffi.org>
parents: 32
diff changeset
122 self.callback(False)
305e81c7a32c Tarot game: a game can now be finished
Goffi <goffi@goffi.org>
parents: 32
diff changeset
123
55
d5266c41ca24 Roster list update, contact deletion + some refactoring
Goffi <goffi@goffi.org>
parents: 54
diff changeset
124 class ConfirmDialog(GenericConfirmDialog):
d5266c41ca24 Roster list update, contact deletion + some refactoring
Goffi <goffi@goffi.org>
parents: 54
diff changeset
125
d5266c41ca24 Roster list update, contact deletion + some refactoring
Goffi <goffi@goffi.org>
parents: 54
diff changeset
126 def __init__(self, callback, text='Are you sure ?', title='Confirmation'):
d5266c41ca24 Roster list update, contact deletion + some refactoring
Goffi <goffi@goffi.org>
parents: 54
diff changeset
127 GenericConfirmDialog.__init__(self,[HTML(text)], callback, title)
d5266c41ca24 Roster list update, contact deletion + some refactoring
Goffi <goffi@goffi.org>
parents: 54
diff changeset
128
d5266c41ca24 Roster list update, contact deletion + some refactoring
Goffi <goffi@goffi.org>
parents: 54
diff changeset
129 class GenericDialog(DialogBox):
48
153de5d461a4 added Social Contract \o. (in French only so far)
Goffi <goffi@goffi.org>
parents: 43
diff changeset
130 """Dialog which just show a widget and a close button"""
41
7782a786b2f0 Tarot game: score is now shown (need to use XMLUI later)
Goffi <goffi@goffi.org>
parents: 39
diff changeset
131
145
c0035e5e2d08 browser side: misc dialog improvment:
Goffi <goffi@goffi.org>
parents: 131
diff changeset
132 def __init__(self, title, main_widget, callback = None, options = None):
41
7782a786b2f0 Tarot game: score is now shown (need to use XMLUI later)
Goffi <goffi@goffi.org>
parents: 39
diff changeset
133 """Simple notice dialog box
7782a786b2f0 Tarot game: score is now shown (need to use XMLUI later)
Goffi <goffi@goffi.org>
parents: 39
diff changeset
134 @param title: HTML put in the header
145
c0035e5e2d08 browser side: misc dialog improvment:
Goffi <goffi@goffi.org>
parents: 131
diff changeset
135 @param main_widget: widget put in the body
c0035e5e2d08 browser side: misc dialog improvment:
Goffi <goffi@goffi.org>
parents: 131
diff changeset
136 @param callback: method to call on closing
c0035e5e2d08 browser side: misc dialog improvment:
Goffi <goffi@goffi.org>
parents: 131
diff changeset
137 @param options: one or more of the following options:
c0035e5e2d08 browser side: misc dialog improvment:
Goffi <goffi@goffi.org>
parents: 131
diff changeset
138 - NO_CLOSE: don't add a close button"""
41
7782a786b2f0 Tarot game: score is now shown (need to use XMLUI later)
Goffi <goffi@goffi.org>
parents: 39
diff changeset
139 DialogBox.__init__(self, centered=True)
42
71a9cc9b9d57 Browser side: Tarot game
Goffi <goffi@goffi.org>
parents: 41
diff changeset
140 self.callback = callback
145
c0035e5e2d08 browser side: misc dialog improvment:
Goffi <goffi@goffi.org>
parents: 131
diff changeset
141 if not options:
c0035e5e2d08 browser side: misc dialog improvment:
Goffi <goffi@goffi.org>
parents: 131
diff changeset
142 options = []
41
7782a786b2f0 Tarot game: score is now shown (need to use XMLUI later)
Goffi <goffi@goffi.org>
parents: 39
diff changeset
143 _body = VerticalPanel()
48
153de5d461a4 added Social Contract \o. (in French only so far)
Goffi <goffi@goffi.org>
parents: 43
diff changeset
144 _body.setSize('100%','100%')
41
7782a786b2f0 Tarot game: score is now shown (need to use XMLUI later)
Goffi <goffi@goffi.org>
parents: 39
diff changeset
145 _body.setSpacing(4)
145
c0035e5e2d08 browser side: misc dialog improvment:
Goffi <goffi@goffi.org>
parents: 131
diff changeset
146 _body.add(main_widget)
c0035e5e2d08 browser side: misc dialog improvment:
Goffi <goffi@goffi.org>
parents: 131
diff changeset
147 _body.setCellWidth(main_widget, '100%')
c0035e5e2d08 browser side: misc dialog improvment:
Goffi <goffi@goffi.org>
parents: 131
diff changeset
148 _body.setCellHeight(main_widget, '100%')
c0035e5e2d08 browser side: misc dialog improvment:
Goffi <goffi@goffi.org>
parents: 131
diff changeset
149 if not 'NO_CLOSE' in options:
c0035e5e2d08 browser side: misc dialog improvment:
Goffi <goffi@goffi.org>
parents: 131
diff changeset
150 _close_button = Button("Close", self.onClose)
c0035e5e2d08 browser side: misc dialog improvment:
Goffi <goffi@goffi.org>
parents: 131
diff changeset
151 _body.add(_close_button)
c0035e5e2d08 browser side: misc dialog improvment:
Goffi <goffi@goffi.org>
parents: 131
diff changeset
152 _body.setCellHorizontalAlignment(_close_button, HasAlignment.ALIGN_CENTER)
41
7782a786b2f0 Tarot game: score is now shown (need to use XMLUI later)
Goffi <goffi@goffi.org>
parents: 39
diff changeset
153 self.setHTML(title)
7782a786b2f0 Tarot game: score is now shown (need to use XMLUI later)
Goffi <goffi@goffi.org>
parents: 39
diff changeset
154 self.setWidget(_body)
145
c0035e5e2d08 browser side: misc dialog improvment:
Goffi <goffi@goffi.org>
parents: 131
diff changeset
155 self.panel.setSize('100%', '100%') #Need this hack to have correct size in Gecko & Webkit
c0035e5e2d08 browser side: misc dialog improvment:
Goffi <goffi@goffi.org>
parents: 131
diff changeset
156
c0035e5e2d08 browser side: misc dialog improvment:
Goffi <goffi@goffi.org>
parents: 131
diff changeset
157 def close(self):
c0035e5e2d08 browser side: misc dialog improvment:
Goffi <goffi@goffi.org>
parents: 131
diff changeset
158 """Same effect as clicking the close button"""
c0035e5e2d08 browser side: misc dialog improvment:
Goffi <goffi@goffi.org>
parents: 131
diff changeset
159 self.onClose(None)
41
7782a786b2f0 Tarot game: score is now shown (need to use XMLUI later)
Goffi <goffi@goffi.org>
parents: 39
diff changeset
160
62
12e889a683ce server side: misc stuff:
Goffi <goffi@goffi.org>
parents: 57
diff changeset
161 def onClose(self, sender):
41
7782a786b2f0 Tarot game: score is now shown (need to use XMLUI later)
Goffi <goffi@goffi.org>
parents: 39
diff changeset
162 self.hide()
42
71a9cc9b9d57 Browser side: Tarot game
Goffi <goffi@goffi.org>
parents: 41
diff changeset
163 if self.callback:
71a9cc9b9d57 Browser side: Tarot game
Goffi <goffi@goffi.org>
parents: 41
diff changeset
164 self.callback()
43
a7ff1e6f1229 browser_side: prevent default for escape key (cancel HTTPRequest in FF)
Goffi <goffi@goffi.org>
parents: 42
diff changeset
165
55
d5266c41ca24 Roster list update, contact deletion + some refactoring
Goffi <goffi@goffi.org>
parents: 54
diff changeset
166 class InfoDialog(GenericDialog):
48
153de5d461a4 added Social Contract \o. (in French only so far)
Goffi <goffi@goffi.org>
parents: 43
diff changeset
167
145
c0035e5e2d08 browser side: misc dialog improvment:
Goffi <goffi@goffi.org>
parents: 131
diff changeset
168 def __init__(self, title, body, callback = None, options = None):
c0035e5e2d08 browser side: misc dialog improvment:
Goffi <goffi@goffi.org>
parents: 131
diff changeset
169 GenericDialog.__init__(self, title, HTML(body), callback, options)
48
153de5d461a4 added Social Contract \o. (in French only so far)
Goffi <goffi@goffi.org>
parents: 43
diff changeset
170
43
a7ff1e6f1229 browser_side: prevent default for escape key (cancel HTTPRequest in FF)
Goffi <goffi@goffi.org>
parents: 42
diff changeset
171 class PopupPanelWrapper(PopupPanel):
a7ff1e6f1229 browser_side: prevent default for escape key (cancel HTTPRequest in FF)
Goffi <goffi@goffi.org>
parents: 42
diff changeset
172 """This wrapper catch Escape event to avoid request cancellation by Firefox"""
a7ff1e6f1229 browser_side: prevent default for escape key (cancel HTTPRequest in FF)
Goffi <goffi@goffi.org>
parents: 42
diff changeset
173
a7ff1e6f1229 browser_side: prevent default for escape key (cancel HTTPRequest in FF)
Goffi <goffi@goffi.org>
parents: 42
diff changeset
174 def onEventPreview(self, event):
a7ff1e6f1229 browser_side: prevent default for escape key (cancel HTTPRequest in FF)
Goffi <goffi@goffi.org>
parents: 42
diff changeset
175 if event.type in ["keydown", "keypress", "keyup"] and event.keyCode == KEY_ESCAPE:
a7ff1e6f1229 browser_side: prevent default for escape key (cancel HTTPRequest in FF)
Goffi <goffi@goffi.org>
parents: 42
diff changeset
176 #needed to prevent request cancellation in Firefox
a7ff1e6f1229 browser_side: prevent default for escape key (cancel HTTPRequest in FF)
Goffi <goffi@goffi.org>
parents: 42
diff changeset
177 event.preventDefault()
a7ff1e6f1229 browser_side: prevent default for escape key (cancel HTTPRequest in FF)
Goffi <goffi@goffi.org>
parents: 42
diff changeset
178 return PopupPanel.onEventPreview(self, event)
52
4419ef07bb2b browser side: adding contact, first draft
Goffi <goffi@goffi.org>
parents: 49
diff changeset
179
4419ef07bb2b browser side: adding contact, first draft
Goffi <goffi@goffi.org>
parents: 49
diff changeset
180 class ExtTextBox(TextBox):
4419ef07bb2b browser side: adding contact, first draft
Goffi <goffi@goffi.org>
parents: 49
diff changeset
181 """Extended TextBox"""
4419ef07bb2b browser side: adding contact, first draft
Goffi <goffi@goffi.org>
parents: 49
diff changeset
182
4419ef07bb2b browser side: adding contact, first draft
Goffi <goffi@goffi.org>
parents: 49
diff changeset
183 def __init__(self, *args, **kwargs):
4419ef07bb2b browser side: adding contact, first draft
Goffi <goffi@goffi.org>
parents: 49
diff changeset
184 if 'enter_cb' in kwargs:
4419ef07bb2b browser side: adding contact, first draft
Goffi <goffi@goffi.org>
parents: 49
diff changeset
185 self.enter_cb = kwargs['enter_cb']
4419ef07bb2b browser side: adding contact, first draft
Goffi <goffi@goffi.org>
parents: 49
diff changeset
186 del kwargs['enter_cb']
4419ef07bb2b browser side: adding contact, first draft
Goffi <goffi@goffi.org>
parents: 49
diff changeset
187 TextBox.__init__(self, *args, **kwargs)
4419ef07bb2b browser side: adding contact, first draft
Goffi <goffi@goffi.org>
parents: 49
diff changeset
188 self.addKeyboardListener(self)
4419ef07bb2b browser side: adding contact, first draft
Goffi <goffi@goffi.org>
parents: 49
diff changeset
189
4419ef07bb2b browser side: adding contact, first draft
Goffi <goffi@goffi.org>
parents: 49
diff changeset
190 def onKeyUp(self, sender, keycode, modifiers):
4419ef07bb2b browser side: adding contact, first draft
Goffi <goffi@goffi.org>
parents: 49
diff changeset
191 pass
4419ef07bb2b browser side: adding contact, first draft
Goffi <goffi@goffi.org>
parents: 49
diff changeset
192
4419ef07bb2b browser side: adding contact, first draft
Goffi <goffi@goffi.org>
parents: 49
diff changeset
193 def onKeyDown(self, sender, keycode, modifiers):
4419ef07bb2b browser side: adding contact, first draft
Goffi <goffi@goffi.org>
parents: 49
diff changeset
194 pass
4419ef07bb2b browser side: adding contact, first draft
Goffi <goffi@goffi.org>
parents: 49
diff changeset
195
4419ef07bb2b browser side: adding contact, first draft
Goffi <goffi@goffi.org>
parents: 49
diff changeset
196 def onKeyPress(self, sender, keycode, modifiers):
4419ef07bb2b browser side: adding contact, first draft
Goffi <goffi@goffi.org>
parents: 49
diff changeset
197 if self.enter_cb and keycode == KEY_ENTER:
4419ef07bb2b browser side: adding contact, first draft
Goffi <goffi@goffi.org>
parents: 49
diff changeset
198 self.enter_cb(self)
4419ef07bb2b browser side: adding contact, first draft
Goffi <goffi@goffi.org>
parents: 49
diff changeset
199
4419ef07bb2b browser side: adding contact, first draft
Goffi <goffi@goffi.org>
parents: 49
diff changeset
200 class GroupSelector(DialogBox):
4419ef07bb2b browser side: adding contact, first draft
Goffi <goffi@goffi.org>
parents: 49
diff changeset
201
4419ef07bb2b browser side: adding contact, first draft
Goffi <goffi@goffi.org>
parents: 49
diff changeset
202 def __init__(self, top_widgets, initial_groups, selected_groups, ok_cb = None, cancel_cb = None):
4419ef07bb2b browser side: adding contact, first draft
Goffi <goffi@goffi.org>
parents: 49
diff changeset
203 DialogBox.__init__(self, centered = True)
4419ef07bb2b browser side: adding contact, first draft
Goffi <goffi@goffi.org>
parents: 49
diff changeset
204 main_panel = VerticalPanel()
4419ef07bb2b browser side: adding contact, first draft
Goffi <goffi@goffi.org>
parents: 49
diff changeset
205 self.ok_cb = ok_cb
4419ef07bb2b browser side: adding contact, first draft
Goffi <goffi@goffi.org>
parents: 49
diff changeset
206 self.cancel_cb = cancel_cb
4419ef07bb2b browser side: adding contact, first draft
Goffi <goffi@goffi.org>
parents: 49
diff changeset
207
4419ef07bb2b browser side: adding contact, first draft
Goffi <goffi@goffi.org>
parents: 49
diff changeset
208 for wid in top_widgets:
4419ef07bb2b browser side: adding contact, first draft
Goffi <goffi@goffi.org>
parents: 49
diff changeset
209 main_panel.add(wid)
4419ef07bb2b browser side: adding contact, first draft
Goffi <goffi@goffi.org>
parents: 49
diff changeset
210
4419ef07bb2b browser side: adding contact, first draft
Goffi <goffi@goffi.org>
parents: 49
diff changeset
211 main_panel.add(Label('Select in which groups your contact is:'))
4419ef07bb2b browser side: adding contact, first draft
Goffi <goffi@goffi.org>
parents: 49
diff changeset
212 self.list_box = ListBox()
4419ef07bb2b browser side: adding contact, first draft
Goffi <goffi@goffi.org>
parents: 49
diff changeset
213 self.list_box.setMultipleSelect(True)
4419ef07bb2b browser side: adding contact, first draft
Goffi <goffi@goffi.org>
parents: 49
diff changeset
214 self.list_box.setVisibleItemCount(5)
4419ef07bb2b browser side: adding contact, first draft
Goffi <goffi@goffi.org>
parents: 49
diff changeset
215 self.setAvailableGroups(initial_groups)
4419ef07bb2b browser side: adding contact, first draft
Goffi <goffi@goffi.org>
parents: 49
diff changeset
216 self.setGroupsSelected(selected_groups)
4419ef07bb2b browser side: adding contact, first draft
Goffi <goffi@goffi.org>
parents: 49
diff changeset
217 main_panel.add(self.list_box)
4419ef07bb2b browser side: adding contact, first draft
Goffi <goffi@goffi.org>
parents: 49
diff changeset
218
4419ef07bb2b browser side: adding contact, first draft
Goffi <goffi@goffi.org>
parents: 49
diff changeset
219 add_group_panel = HorizontalPanel()
4419ef07bb2b browser side: adding contact, first draft
Goffi <goffi@goffi.org>
parents: 49
diff changeset
220 add_group_lb = Label('Add group:')
4419ef07bb2b browser side: adding contact, first draft
Goffi <goffi@goffi.org>
parents: 49
diff changeset
221 add_group_tb = ExtTextBox(enter_cb = self.onGroupInput)
4419ef07bb2b browser side: adding contact, first draft
Goffi <goffi@goffi.org>
parents: 49
diff changeset
222 add_group_panel.add(add_group_lb)
4419ef07bb2b browser side: adding contact, first draft
Goffi <goffi@goffi.org>
parents: 49
diff changeset
223 add_group_panel.add(add_group_tb)
4419ef07bb2b browser side: adding contact, first draft
Goffi <goffi@goffi.org>
parents: 49
diff changeset
224 main_panel.add(add_group_panel)
4419ef07bb2b browser side: adding contact, first draft
Goffi <goffi@goffi.org>
parents: 49
diff changeset
225
4419ef07bb2b browser side: adding contact, first draft
Goffi <goffi@goffi.org>
parents: 49
diff changeset
226 button_panel = HorizontalPanel()
4419ef07bb2b browser side: adding contact, first draft
Goffi <goffi@goffi.org>
parents: 49
diff changeset
227 button_panel.add(Button("Add", self.onOK))
4419ef07bb2b browser side: adding contact, first draft
Goffi <goffi@goffi.org>
parents: 49
diff changeset
228 button_panel.add(Button("Cancel", self.onCancel))
4419ef07bb2b browser side: adding contact, first draft
Goffi <goffi@goffi.org>
parents: 49
diff changeset
229 main_panel.add(button_panel)
4419ef07bb2b browser side: adding contact, first draft
Goffi <goffi@goffi.org>
parents: 49
diff changeset
230
4419ef07bb2b browser side: adding contact, first draft
Goffi <goffi@goffi.org>
parents: 49
diff changeset
231 self.setWidget(main_panel)
4419ef07bb2b browser side: adding contact, first draft
Goffi <goffi@goffi.org>
parents: 49
diff changeset
232
54
f25c4077f6b9 addind contact + subscription management + misc
Goffi <goffi@goffi.org>
parents: 52
diff changeset
233 def getSelectedGroups(self):
f25c4077f6b9 addind contact + subscription management + misc
Goffi <goffi@goffi.org>
parents: 52
diff changeset
234 """Return a list of selected groups"""
f25c4077f6b9 addind contact + subscription management + misc
Goffi <goffi@goffi.org>
parents: 52
diff changeset
235 return self.list_box.getSelectedValues()
f25c4077f6b9 addind contact + subscription management + misc
Goffi <goffi@goffi.org>
parents: 52
diff changeset
236
52
4419ef07bb2b browser side: adding contact, first draft
Goffi <goffi@goffi.org>
parents: 49
diff changeset
237 def setAvailableGroups(self, groups):
4419ef07bb2b browser side: adding contact, first draft
Goffi <goffi@goffi.org>
parents: 49
diff changeset
238 _groups = list(set(groups))
4419ef07bb2b browser side: adding contact, first draft
Goffi <goffi@goffi.org>
parents: 49
diff changeset
239 _groups.sort()
4419ef07bb2b browser side: adding contact, first draft
Goffi <goffi@goffi.org>
parents: 49
diff changeset
240 self.list_box.clear()
4419ef07bb2b browser side: adding contact, first draft
Goffi <goffi@goffi.org>
parents: 49
diff changeset
241 for group in _groups:
4419ef07bb2b browser side: adding contact, first draft
Goffi <goffi@goffi.org>
parents: 49
diff changeset
242 self.list_box.addItem(group)
4419ef07bb2b browser side: adding contact, first draft
Goffi <goffi@goffi.org>
parents: 49
diff changeset
243
57
e552a67b933d Contact update + add dedication in About dialog
Goffi <goffi@goffi.org>
parents: 55
diff changeset
244 def setGroupsSelected(self, selected_groups):
52
4419ef07bb2b browser side: adding contact, first draft
Goffi <goffi@goffi.org>
parents: 49
diff changeset
245 if groups:
4419ef07bb2b browser side: adding contact, first draft
Goffi <goffi@goffi.org>
parents: 49
diff changeset
246 self.list_box.setItemTextSelection(selected_groups)
4419ef07bb2b browser side: adding contact, first draft
Goffi <goffi@goffi.org>
parents: 49
diff changeset
247
4419ef07bb2b browser side: adding contact, first draft
Goffi <goffi@goffi.org>
parents: 49
diff changeset
248 def onOK(self, sender):
4419ef07bb2b browser side: adding contact, first draft
Goffi <goffi@goffi.org>
parents: 49
diff changeset
249 self.hide()
4419ef07bb2b browser side: adding contact, first draft
Goffi <goffi@goffi.org>
parents: 49
diff changeset
250 if self.ok_cb:
4419ef07bb2b browser side: adding contact, first draft
Goffi <goffi@goffi.org>
parents: 49
diff changeset
251 self.ok_cb(self)
4419ef07bb2b browser side: adding contact, first draft
Goffi <goffi@goffi.org>
parents: 49
diff changeset
252
4419ef07bb2b browser side: adding contact, first draft
Goffi <goffi@goffi.org>
parents: 49
diff changeset
253 def onCancel(self, sender):
4419ef07bb2b browser side: adding contact, first draft
Goffi <goffi@goffi.org>
parents: 49
diff changeset
254 self.hide()
4419ef07bb2b browser side: adding contact, first draft
Goffi <goffi@goffi.org>
parents: 49
diff changeset
255 if self.cancel_cb:
4419ef07bb2b browser side: adding contact, first draft
Goffi <goffi@goffi.org>
parents: 49
diff changeset
256 self.cancel_cb(self)
4419ef07bb2b browser side: adding contact, first draft
Goffi <goffi@goffi.org>
parents: 49
diff changeset
257
4419ef07bb2b browser side: adding contact, first draft
Goffi <goffi@goffi.org>
parents: 49
diff changeset
258 def onGroupInput(self, sender):
4419ef07bb2b browser side: adding contact, first draft
Goffi <goffi@goffi.org>
parents: 49
diff changeset
259 self.list_box.addItem(sender.getText())
4419ef07bb2b browser side: adding contact, first draft
Goffi <goffi@goffi.org>
parents: 49
diff changeset
260 sender.setText('')
4419ef07bb2b browser side: adding contact, first draft
Goffi <goffi@goffi.org>
parents: 49
diff changeset
261 self.list_box.setItemSelected(self.list_box.getItemCount()-1, "selected")
4419ef07bb2b browser side: adding contact, first draft
Goffi <goffi@goffi.org>
parents: 49
diff changeset
262
95
1c75fd97baf9 browser side: widgets' setting: mouse wheel can now be used to change values
Goffi <goffi@goffi.org>
parents: 94
diff changeset
263 class WheelTextBox(TextBox, MouseWheelHandler):
1c75fd97baf9 browser side: widgets' setting: mouse wheel can now be used to change values
Goffi <goffi@goffi.org>
parents: 94
diff changeset
264
1c75fd97baf9 browser side: widgets' setting: mouse wheel can now be used to change values
Goffi <goffi@goffi.org>
parents: 94
diff changeset
265 def __init__(self, *args, **kwargs):
1c75fd97baf9 browser side: widgets' setting: mouse wheel can now be used to change values
Goffi <goffi@goffi.org>
parents: 94
diff changeset
266 TextBox.__init__(self, *args, **kwargs)
1c75fd97baf9 browser side: widgets' setting: mouse wheel can now be used to change values
Goffi <goffi@goffi.org>
parents: 94
diff changeset
267 MouseWheelHandler.__init__(self)
1c75fd97baf9 browser side: widgets' setting: mouse wheel can now be used to change values
Goffi <goffi@goffi.org>
parents: 94
diff changeset
268
1c75fd97baf9 browser side: widgets' setting: mouse wheel can now be used to change values
Goffi <goffi@goffi.org>
parents: 94
diff changeset
269
1c75fd97baf9 browser side: widgets' setting: mouse wheel can now be used to change values
Goffi <goffi@goffi.org>
parents: 94
diff changeset
270
90
9729ed7171a6 browser side: Widgets' setting (col & row span can be changed
Goffi <goffi@goffi.org>
parents: 66
diff changeset
271 class IntSetter(HorizontalPanel):
9729ed7171a6 browser side: Widgets' setting (col & row span can be changed
Goffi <goffi@goffi.org>
parents: 66
diff changeset
272 """This class show a bar with button to set an int value"""
9729ed7171a6 browser side: Widgets' setting (col & row span can be changed
Goffi <goffi@goffi.org>
parents: 66
diff changeset
273
9729ed7171a6 browser side: Widgets' setting (col & row span can be changed
Goffi <goffi@goffi.org>
parents: 66
diff changeset
274 def __init__(self, label, value=0, value_max=None, visible_len=3):
9729ed7171a6 browser side: Widgets' setting (col & row span can be changed
Goffi <goffi@goffi.org>
parents: 66
diff changeset
275 """initialize the intSetter
9729ed7171a6 browser side: Widgets' setting (col & row span can be changed
Goffi <goffi@goffi.org>
parents: 66
diff changeset
276 @param label: text shown in front of the setter
9729ed7171a6 browser side: Widgets' setting (col & row span can be changed
Goffi <goffi@goffi.org>
parents: 66
diff changeset
277 @param value: initial value
9729ed7171a6 browser side: Widgets' setting (col & row span can be changed
Goffi <goffi@goffi.org>
parents: 66
diff changeset
278 @param value_max: limit value, None or 0 for unlimited"""
9729ed7171a6 browser side: Widgets' setting (col & row span can be changed
Goffi <goffi@goffi.org>
parents: 66
diff changeset
279 HorizontalPanel.__init__(self)
9729ed7171a6 browser side: Widgets' setting (col & row span can be changed
Goffi <goffi@goffi.org>
parents: 66
diff changeset
280 self.value = value
9729ed7171a6 browser side: Widgets' setting (col & row span can be changed
Goffi <goffi@goffi.org>
parents: 66
diff changeset
281 self.value_max = value_max
9729ed7171a6 browser side: Widgets' setting (col & row span can be changed
Goffi <goffi@goffi.org>
parents: 66
diff changeset
282 _label = Label(label)
9729ed7171a6 browser side: Widgets' setting (col & row span can be changed
Goffi <goffi@goffi.org>
parents: 66
diff changeset
283 self.add(_label)
9729ed7171a6 browser side: Widgets' setting (col & row span can be changed
Goffi <goffi@goffi.org>
parents: 66
diff changeset
284 self.setCellWidth(_label, "100%")
9729ed7171a6 browser side: Widgets' setting (col & row span can be changed
Goffi <goffi@goffi.org>
parents: 66
diff changeset
285 minus_button = Button("-", self.onMinus)
95
1c75fd97baf9 browser side: widgets' setting: mouse wheel can now be used to change values
Goffi <goffi@goffi.org>
parents: 94
diff changeset
286 self.box = WheelTextBox()
90
9729ed7171a6 browser side: Widgets' setting (col & row span can be changed
Goffi <goffi@goffi.org>
parents: 66
diff changeset
287 self.box.setVisibleLength(visible_len)
9729ed7171a6 browser side: Widgets' setting (col & row span can be changed
Goffi <goffi@goffi.org>
parents: 66
diff changeset
288 self.box.setText(str(value))
9729ed7171a6 browser side: Widgets' setting (col & row span can be changed
Goffi <goffi@goffi.org>
parents: 66
diff changeset
289 self.box.addInputListener(self)
95
1c75fd97baf9 browser side: widgets' setting: mouse wheel can now be used to change values
Goffi <goffi@goffi.org>
parents: 94
diff changeset
290 self.box.addMouseWheelListener(self)
90
9729ed7171a6 browser side: Widgets' setting (col & row span can be changed
Goffi <goffi@goffi.org>
parents: 66
diff changeset
291 plus_button = Button("+", self.onPlus)
9729ed7171a6 browser side: Widgets' setting (col & row span can be changed
Goffi <goffi@goffi.org>
parents: 66
diff changeset
292 self.add(minus_button)
9729ed7171a6 browser side: Widgets' setting (col & row span can be changed
Goffi <goffi@goffi.org>
parents: 66
diff changeset
293 self.add(self.box)
9729ed7171a6 browser side: Widgets' setting (col & row span can be changed
Goffi <goffi@goffi.org>
parents: 66
diff changeset
294 self.add(plus_button)
9729ed7171a6 browser side: Widgets' setting (col & row span can be changed
Goffi <goffi@goffi.org>
parents: 66
diff changeset
295 self.valueChangedListener = []
9729ed7171a6 browser side: Widgets' setting (col & row span can be changed
Goffi <goffi@goffi.org>
parents: 66
diff changeset
296
9729ed7171a6 browser side: Widgets' setting (col & row span can be changed
Goffi <goffi@goffi.org>
parents: 66
diff changeset
297 def addValueChangeListener(self, listener):
9729ed7171a6 browser side: Widgets' setting (col & row span can be changed
Goffi <goffi@goffi.org>
parents: 66
diff changeset
298 self.valueChangedListener.append(listener)
9729ed7171a6 browser side: Widgets' setting (col & row span can be changed
Goffi <goffi@goffi.org>
parents: 66
diff changeset
299
9729ed7171a6 browser side: Widgets' setting (col & row span can be changed
Goffi <goffi@goffi.org>
parents: 66
diff changeset
300 def removeValueChangeListener(self, listener):
9729ed7171a6 browser side: Widgets' setting (col & row span can be changed
Goffi <goffi@goffi.org>
parents: 66
diff changeset
301 if listener in self.valueChangedListener:
9729ed7171a6 browser side: Widgets' setting (col & row span can be changed
Goffi <goffi@goffi.org>
parents: 66
diff changeset
302 self.valueChangedListener.remove(listener)
9729ed7171a6 browser side: Widgets' setting (col & row span can be changed
Goffi <goffi@goffi.org>
parents: 66
diff changeset
303
9729ed7171a6 browser side: Widgets' setting (col & row span can be changed
Goffi <goffi@goffi.org>
parents: 66
diff changeset
304 def _callListeners(self):
9729ed7171a6 browser side: Widgets' setting (col & row span can be changed
Goffi <goffi@goffi.org>
parents: 66
diff changeset
305 for listener in self.valueChangedListener:
9729ed7171a6 browser side: Widgets' setting (col & row span can be changed
Goffi <goffi@goffi.org>
parents: 66
diff changeset
306 listener(self.value)
92
dd54bc13ac81 browser side: widgets' width and height can now be fixed + tarot game position fix
Goffi <goffi@goffi.org>
parents: 90
diff changeset
307
dd54bc13ac81 browser side: widgets' width and height can now be fixed + tarot game position fix
Goffi <goffi@goffi.org>
parents: 90
diff changeset
308 def setValue(self, value):
dd54bc13ac81 browser side: widgets' width and height can now be fixed + tarot game position fix
Goffi <goffi@goffi.org>
parents: 90
diff changeset
309 """Change the value and fire valueChange listeners"""
dd54bc13ac81 browser side: widgets' width and height can now be fixed + tarot game position fix
Goffi <goffi@goffi.org>
parents: 90
diff changeset
310 self.value = value
94
8f9d30672225 browser side: widgets' setting reset button update fix
Goffi <goffi@goffi.org>
parents: 93
diff changeset
311 self.box.setText(str(value))
92
dd54bc13ac81 browser side: widgets' width and height can now be fixed + tarot game position fix
Goffi <goffi@goffi.org>
parents: 90
diff changeset
312 self._callListeners()
90
9729ed7171a6 browser side: Widgets' setting (col & row span can be changed
Goffi <goffi@goffi.org>
parents: 66
diff changeset
313
95
1c75fd97baf9 browser side: widgets' setting: mouse wheel can now be used to change values
Goffi <goffi@goffi.org>
parents: 94
diff changeset
314 def onMinus(self, sender, step=1):
1c75fd97baf9 browser side: widgets' setting: mouse wheel can now be used to change values
Goffi <goffi@goffi.org>
parents: 94
diff changeset
315 self.value=max(0,self.value-step)
90
9729ed7171a6 browser side: Widgets' setting (col & row span can be changed
Goffi <goffi@goffi.org>
parents: 66
diff changeset
316 self.box.setText(str(self.value))
9729ed7171a6 browser side: Widgets' setting (col & row span can be changed
Goffi <goffi@goffi.org>
parents: 66
diff changeset
317 self._callListeners()
9729ed7171a6 browser side: Widgets' setting (col & row span can be changed
Goffi <goffi@goffi.org>
parents: 66
diff changeset
318
95
1c75fd97baf9 browser side: widgets' setting: mouse wheel can now be used to change values
Goffi <goffi@goffi.org>
parents: 94
diff changeset
319 def onPlus(self, sender, step=1):
1c75fd97baf9 browser side: widgets' setting: mouse wheel can now be used to change values
Goffi <goffi@goffi.org>
parents: 94
diff changeset
320 self.value+=step
90
9729ed7171a6 browser side: Widgets' setting (col & row span can be changed
Goffi <goffi@goffi.org>
parents: 66
diff changeset
321 if self.value_max:
9729ed7171a6 browser side: Widgets' setting (col & row span can be changed
Goffi <goffi@goffi.org>
parents: 66
diff changeset
322 self.value = min(self.value,value_max)
9729ed7171a6 browser side: Widgets' setting (col & row span can be changed
Goffi <goffi@goffi.org>
parents: 66
diff changeset
323 self.box.setText(str(self.value))
9729ed7171a6 browser side: Widgets' setting (col & row span can be changed
Goffi <goffi@goffi.org>
parents: 66
diff changeset
324 self._callListeners()
9729ed7171a6 browser side: Widgets' setting (col & row span can be changed
Goffi <goffi@goffi.org>
parents: 66
diff changeset
325
9729ed7171a6 browser side: Widgets' setting (col & row span can be changed
Goffi <goffi@goffi.org>
parents: 66
diff changeset
326 def onInput(self, sender):
9729ed7171a6 browser side: Widgets' setting (col & row span can be changed
Goffi <goffi@goffi.org>
parents: 66
diff changeset
327 """Accept only valid integer && normalize print (no leading 0)"""
9729ed7171a6 browser side: Widgets' setting (col & row span can be changed
Goffi <goffi@goffi.org>
parents: 66
diff changeset
328 try:
93
907a72e79b3e typo fix
Goffi <goffi@goffi.org>
parents: 92
diff changeset
329 self.value = int(self.box.getText()) if self.box.getText() else 0
90
9729ed7171a6 browser side: Widgets' setting (col & row span can be changed
Goffi <goffi@goffi.org>
parents: 66
diff changeset
330 except ValueError:
9729ed7171a6 browser side: Widgets' setting (col & row span can be changed
Goffi <goffi@goffi.org>
parents: 66
diff changeset
331 pass
9729ed7171a6 browser side: Widgets' setting (col & row span can be changed
Goffi <goffi@goffi.org>
parents: 66
diff changeset
332 if self.value_max:
9729ed7171a6 browser side: Widgets' setting (col & row span can be changed
Goffi <goffi@goffi.org>
parents: 66
diff changeset
333 self.value = min(self.value,value_max)
9729ed7171a6 browser side: Widgets' setting (col & row span can be changed
Goffi <goffi@goffi.org>
parents: 66
diff changeset
334 self.box.setText(str(self.value))
9729ed7171a6 browser side: Widgets' setting (col & row span can be changed
Goffi <goffi@goffi.org>
parents: 66
diff changeset
335 self._callListeners()
95
1c75fd97baf9 browser side: widgets' setting: mouse wheel can now be used to change values
Goffi <goffi@goffi.org>
parents: 94
diff changeset
336
1c75fd97baf9 browser side: widgets' setting: mouse wheel can now be used to change values
Goffi <goffi@goffi.org>
parents: 94
diff changeset
337 def onMouseWheel(self, sender, velocity):
1c75fd97baf9 browser side: widgets' setting: mouse wheel can now be used to change values
Goffi <goffi@goffi.org>
parents: 94
diff changeset
338 if velocity>0:
1c75fd97baf9 browser side: widgets' setting: mouse wheel can now be used to change values
Goffi <goffi@goffi.org>
parents: 94
diff changeset
339 self.onMinus(sender, 10)
1c75fd97baf9 browser side: widgets' setting: mouse wheel can now be used to change values
Goffi <goffi@goffi.org>
parents: 94
diff changeset
340 else:
1c75fd97baf9 browser side: widgets' setting: mouse wheel can now be used to change values
Goffi <goffi@goffi.org>
parents: 94
diff changeset
341 self.onPlus(sender, 10)