libervia-web: browser_side/dialog.py annotate

annotate browser_side/dialog.py @ 144:88512fbeb128

browser side: CSS fixe for last item's selection in main menu

author	Goffi <goffi@goffi.org>
date	Sun, 09 Dec 2012 23:30:27 +0100
parents	ddfcc4cb6cee
children	c0035e5e2d08

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
131 ddfcc4cb6cee copyleft date update Goffi <goffi@goffi.org> parents: 125 diff changeset	6 Copyright (C) 2011, 2012 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
48 153de5d461a4 added Social Contract \o. (in French only so far) Goffi <goffi@goffi.org> parents: 43 diff changeset	132 def __init__(self, title, widget, callback = 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
48 153de5d461a4 added Social Contract \o. (in French only so far) Goffi <goffi@goffi.org> parents: 43 diff changeset	135 @param body: widget put in the body"""
41 7782a786b2f0 Tarot game: score is now shown (need to use XMLUI later) Goffi <goffi@goffi.org> parents: 39 diff changeset	136 DialogBox.__init__(self, centered=True)
42 71a9cc9b9d57 Browser side: Tarot game Goffi <goffi@goffi.org> parents: 41 diff changeset	137 self.callback = callback
41 7782a786b2f0 Tarot game: score is now shown (need to use XMLUI later) Goffi <goffi@goffi.org> parents: 39 diff changeset	138 _body = VerticalPanel()
48 153de5d461a4 added Social Contract \o. (in French only so far) Goffi <goffi@goffi.org> parents: 43 diff changeset	139 _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	140 _body.setSpacing(4)
48 153de5d461a4 added Social Contract \o. (in French only so far) Goffi <goffi@goffi.org> parents: 43 diff changeset	141 _body.add(widget)
153de5d461a4 added Social Contract \o. (in French only so far) Goffi <goffi@goffi.org> parents: 43 diff changeset	142 _body.setCellWidth(widget, '100%')
49 f1d2eb9b2523 browser side: added about box Goffi <goffi@goffi.org> parents: 48 diff changeset	143 _close_button = Button("Close", self.onClose)
f1d2eb9b2523 browser side: added about box Goffi <goffi@goffi.org> parents: 48 diff changeset	144 _body.add(_close_button)
f1d2eb9b2523 browser side: added about box Goffi <goffi@goffi.org> parents: 48 diff changeset	145 _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	146 self.setHTML(title)
7782a786b2f0 Tarot game: score is now shown (need to use XMLUI later) Goffi <goffi@goffi.org> parents: 39 diff changeset	147 self.setWidget(_body)
62 12e889a683ce server side: misc stuff: Goffi <goffi@goffi.org> parents: 57 diff changeset	148 if isinstance(widget, Frame):
12e889a683ce server side: misc stuff: Goffi <goffi@goffi.org> parents: 57 diff changeset	149 #Need this hack to have correct size for About box + Social Contract
12e889a683ce server side: misc stuff: Goffi <goffi@goffi.org> parents: 57 diff changeset	150 #in Gecko & Webkit
12e889a683ce server side: misc stuff: Goffi <goffi@goffi.org> parents: 57 diff changeset	151 self.panel.setWidth('100%')
41 7782a786b2f0 Tarot game: score is now shown (need to use XMLUI later) Goffi <goffi@goffi.org> parents: 39 diff changeset	152
62 12e889a683ce server side: misc stuff: Goffi <goffi@goffi.org> parents: 57 diff changeset	153 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	154 self.hide()
42 71a9cc9b9d57 Browser side: Tarot game Goffi <goffi@goffi.org> parents: 41 diff changeset	155 if self.callback:
71a9cc9b9d57 Browser side: Tarot game Goffi <goffi@goffi.org> parents: 41 diff changeset	156 self.callback()
43 a7ff1e6f1229 browser_side: prevent default for escape key (cancel HTTPRequest in FF) Goffi <goffi@goffi.org> parents: 42 diff changeset	157
55 d5266c41ca24 Roster list update, contact deletion + some refactoring Goffi <goffi@goffi.org> parents: 54 diff changeset	158 class InfoDialog(GenericDialog):
48 153de5d461a4 added Social Contract \o. (in French only so far) Goffi <goffi@goffi.org> parents: 43 diff changeset	159
153de5d461a4 added Social Contract \o. (in French only so far) Goffi <goffi@goffi.org> parents: 43 diff changeset	160 def __init__(self, title, body, callback = None):
55 d5266c41ca24 Roster list update, contact deletion + some refactoring Goffi <goffi@goffi.org> parents: 54 diff changeset	161 GenericDialog.__init__(self, title, HTML(body), callback)
48 153de5d461a4 added Social Contract \o. (in French only so far) Goffi <goffi@goffi.org> parents: 43 diff changeset	162
43 a7ff1e6f1229 browser_side: prevent default for escape key (cancel HTTPRequest in FF) Goffi <goffi@goffi.org> parents: 42 diff changeset	163 class PopupPanelWrapper(PopupPanel):
a7ff1e6f1229 browser_side: prevent default for escape key (cancel HTTPRequest in FF) Goffi <goffi@goffi.org> parents: 42 diff changeset	164 """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	165
a7ff1e6f1229 browser_side: prevent default for escape key (cancel HTTPRequest in FF) Goffi <goffi@goffi.org> parents: 42 diff changeset	166 def onEventPreview(self, event):
a7ff1e6f1229 browser_side: prevent default for escape key (cancel HTTPRequest in FF) Goffi <goffi@goffi.org> parents: 42 diff changeset	167 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	168 #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	169 event.preventDefault()
a7ff1e6f1229 browser_side: prevent default for escape key (cancel HTTPRequest in FF) Goffi <goffi@goffi.org> parents: 42 diff changeset	170 return PopupPanel.onEventPreview(self, event)
52 4419ef07bb2b browser side: adding contact, first draft Goffi <goffi@goffi.org> parents: 49 diff changeset	171
4419ef07bb2b browser side: adding contact, first draft Goffi <goffi@goffi.org> parents: 49 diff changeset	172 class ExtTextBox(TextBox):
4419ef07bb2b browser side: adding contact, first draft Goffi <goffi@goffi.org> parents: 49 diff changeset	173 """Extended TextBox"""
4419ef07bb2b browser side: adding contact, first draft Goffi <goffi@goffi.org> parents: 49 diff changeset	174
4419ef07bb2b browser side: adding contact, first draft Goffi <goffi@goffi.org> parents: 49 diff changeset	175 def __init__(self, args, *kwargs):
4419ef07bb2b browser side: adding contact, first draft Goffi <goffi@goffi.org> parents: 49 diff changeset	176 if 'enter_cb' in kwargs:
4419ef07bb2b browser side: adding contact, first draft Goffi <goffi@goffi.org> parents: 49 diff changeset	177 self.enter_cb = kwargs['enter_cb']
4419ef07bb2b browser side: adding contact, first draft Goffi <goffi@goffi.org> parents: 49 diff changeset	178 del kwargs['enter_cb']
4419ef07bb2b browser side: adding contact, first draft Goffi <goffi@goffi.org> parents: 49 diff changeset	179 TextBox.__init__(self, args, *kwargs)
4419ef07bb2b browser side: adding contact, first draft Goffi <goffi@goffi.org> parents: 49 diff changeset	180 self.addKeyboardListener(self)
4419ef07bb2b browser side: adding contact, first draft Goffi <goffi@goffi.org> parents: 49 diff changeset	181
4419ef07bb2b browser side: adding contact, first draft Goffi <goffi@goffi.org> parents: 49 diff changeset	182 def onKeyUp(self, sender, keycode, modifiers):
4419ef07bb2b browser side: adding contact, first draft Goffi <goffi@goffi.org> parents: 49 diff changeset	183 pass
4419ef07bb2b browser side: adding contact, first draft Goffi <goffi@goffi.org> parents: 49 diff changeset	184
4419ef07bb2b browser side: adding contact, first draft Goffi <goffi@goffi.org> parents: 49 diff changeset	185 def onKeyDown(self, sender, keycode, modifiers):
4419ef07bb2b browser side: adding contact, first draft Goffi <goffi@goffi.org> parents: 49 diff changeset	186 pass
4419ef07bb2b browser side: adding contact, first draft Goffi <goffi@goffi.org> parents: 49 diff changeset	187
4419ef07bb2b browser side: adding contact, first draft Goffi <goffi@goffi.org> parents: 49 diff changeset	188 def onKeyPress(self, sender, keycode, modifiers):
4419ef07bb2b browser side: adding contact, first draft Goffi <goffi@goffi.org> parents: 49 diff changeset	189 if self.enter_cb and keycode == KEY_ENTER:
4419ef07bb2b browser side: adding contact, first draft Goffi <goffi@goffi.org> parents: 49 diff changeset	190 self.enter_cb(self)
4419ef07bb2b browser side: adding contact, first draft Goffi <goffi@goffi.org> parents: 49 diff changeset	191
4419ef07bb2b browser side: adding contact, first draft Goffi <goffi@goffi.org> parents: 49 diff changeset	192 class GroupSelector(DialogBox):
4419ef07bb2b browser side: adding contact, first draft Goffi <goffi@goffi.org> parents: 49 diff changeset	193
4419ef07bb2b browser side: adding contact, first draft Goffi <goffi@goffi.org> parents: 49 diff changeset	194 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	195 DialogBox.__init__(self, centered = True)
4419ef07bb2b browser side: adding contact, first draft Goffi <goffi@goffi.org> parents: 49 diff changeset	196 main_panel = VerticalPanel()
4419ef07bb2b browser side: adding contact, first draft Goffi <goffi@goffi.org> parents: 49 diff changeset	197 self.ok_cb = ok_cb
4419ef07bb2b browser side: adding contact, first draft Goffi <goffi@goffi.org> parents: 49 diff changeset	198 self.cancel_cb = cancel_cb
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 for wid in top_widgets:
4419ef07bb2b browser side: adding contact, first draft Goffi <goffi@goffi.org> parents: 49 diff changeset	201 main_panel.add(wid)
4419ef07bb2b browser side: adding contact, first draft Goffi <goffi@goffi.org> parents: 49 diff changeset	202
4419ef07bb2b browser side: adding contact, first draft Goffi <goffi@goffi.org> parents: 49 diff changeset	203 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	204 self.list_box = ListBox()
4419ef07bb2b browser side: adding contact, first draft Goffi <goffi@goffi.org> parents: 49 diff changeset	205 self.list_box.setMultipleSelect(True)
4419ef07bb2b browser side: adding contact, first draft Goffi <goffi@goffi.org> parents: 49 diff changeset	206 self.list_box.setVisibleItemCount(5)
4419ef07bb2b browser side: adding contact, first draft Goffi <goffi@goffi.org> parents: 49 diff changeset	207 self.setAvailableGroups(initial_groups)
4419ef07bb2b browser side: adding contact, first draft Goffi <goffi@goffi.org> parents: 49 diff changeset	208 self.setGroupsSelected(selected_groups)
4419ef07bb2b browser side: adding contact, first draft Goffi <goffi@goffi.org> parents: 49 diff changeset	209 main_panel.add(self.list_box)
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 add_group_panel = HorizontalPanel()
4419ef07bb2b browser side: adding contact, first draft Goffi <goffi@goffi.org> parents: 49 diff changeset	212 add_group_lb = Label('Add group:')
4419ef07bb2b browser side: adding contact, first draft Goffi <goffi@goffi.org> parents: 49 diff changeset	213 add_group_tb = ExtTextBox(enter_cb = self.onGroupInput)
4419ef07bb2b browser side: adding contact, first draft Goffi <goffi@goffi.org> parents: 49 diff changeset	214 add_group_panel.add(add_group_lb)
4419ef07bb2b browser side: adding contact, first draft Goffi <goffi@goffi.org> parents: 49 diff changeset	215 add_group_panel.add(add_group_tb)
4419ef07bb2b browser side: adding contact, first draft Goffi <goffi@goffi.org> parents: 49 diff changeset	216 main_panel.add(add_group_panel)
4419ef07bb2b browser side: adding contact, first draft Goffi <goffi@goffi.org> parents: 49 diff changeset	217
4419ef07bb2b browser side: adding contact, first draft Goffi <goffi@goffi.org> parents: 49 diff changeset	218 button_panel = HorizontalPanel()
4419ef07bb2b browser side: adding contact, first draft Goffi <goffi@goffi.org> parents: 49 diff changeset	219 button_panel.add(Button("Add", self.onOK))
4419ef07bb2b browser side: adding contact, first draft Goffi <goffi@goffi.org> parents: 49 diff changeset	220 button_panel.add(Button("Cancel", self.onCancel))
4419ef07bb2b browser side: adding contact, first draft Goffi <goffi@goffi.org> parents: 49 diff changeset	221 main_panel.add(button_panel)
4419ef07bb2b browser side: adding contact, first draft Goffi <goffi@goffi.org> parents: 49 diff changeset	222
4419ef07bb2b browser side: adding contact, first draft Goffi <goffi@goffi.org> parents: 49 diff changeset	223 self.setWidget(main_panel)
4419ef07bb2b browser side: adding contact, first draft Goffi <goffi@goffi.org> parents: 49 diff changeset	224
54 f25c4077f6b9 addind contact + subscription management + misc Goffi <goffi@goffi.org> parents: 52 diff changeset	225 def getSelectedGroups(self):
f25c4077f6b9 addind contact + subscription management + misc Goffi <goffi@goffi.org> parents: 52 diff changeset	226 """Return a list of selected groups"""
f25c4077f6b9 addind contact + subscription management + misc Goffi <goffi@goffi.org> parents: 52 diff changeset	227 return self.list_box.getSelectedValues()
f25c4077f6b9 addind contact + subscription management + misc Goffi <goffi@goffi.org> parents: 52 diff changeset	228
52 4419ef07bb2b browser side: adding contact, first draft Goffi <goffi@goffi.org> parents: 49 diff changeset	229 def setAvailableGroups(self, groups):
4419ef07bb2b browser side: adding contact, first draft Goffi <goffi@goffi.org> parents: 49 diff changeset	230 _groups = list(set(groups))
4419ef07bb2b browser side: adding contact, first draft Goffi <goffi@goffi.org> parents: 49 diff changeset	231 _groups.sort()
4419ef07bb2b browser side: adding contact, first draft Goffi <goffi@goffi.org> parents: 49 diff changeset	232 self.list_box.clear()
4419ef07bb2b browser side: adding contact, first draft Goffi <goffi@goffi.org> parents: 49 diff changeset	233 for group in _groups:
4419ef07bb2b browser side: adding contact, first draft Goffi <goffi@goffi.org> parents: 49 diff changeset	234 self.list_box.addItem(group)
4419ef07bb2b browser side: adding contact, first draft Goffi <goffi@goffi.org> parents: 49 diff changeset	235
57 e552a67b933d Contact update + add dedication in About dialog Goffi <goffi@goffi.org> parents: 55 diff changeset	236 def setGroupsSelected(self, selected_groups):
52 4419ef07bb2b browser side: adding contact, first draft Goffi <goffi@goffi.org> parents: 49 diff changeset	237 if groups:
4419ef07bb2b browser side: adding contact, first draft Goffi <goffi@goffi.org> parents: 49 diff changeset	238 self.list_box.setItemTextSelection(selected_groups)
4419ef07bb2b browser side: adding contact, first draft Goffi <goffi@goffi.org> parents: 49 diff changeset	239
4419ef07bb2b browser side: adding contact, first draft Goffi <goffi@goffi.org> parents: 49 diff changeset	240 def onOK(self, sender):
4419ef07bb2b browser side: adding contact, first draft Goffi <goffi@goffi.org> parents: 49 diff changeset	241 self.hide()
4419ef07bb2b browser side: adding contact, first draft Goffi <goffi@goffi.org> parents: 49 diff changeset	242 if self.ok_cb:
4419ef07bb2b browser side: adding contact, first draft Goffi <goffi@goffi.org> parents: 49 diff changeset	243 self.ok_cb(self)
4419ef07bb2b browser side: adding contact, first draft Goffi <goffi@goffi.org> parents: 49 diff changeset	244
4419ef07bb2b browser side: adding contact, first draft Goffi <goffi@goffi.org> parents: 49 diff changeset	245 def onCancel(self, sender):
4419ef07bb2b browser side: adding contact, first draft Goffi <goffi@goffi.org> parents: 49 diff changeset	246 self.hide()
4419ef07bb2b browser side: adding contact, first draft Goffi <goffi@goffi.org> parents: 49 diff changeset	247 if self.cancel_cb:
4419ef07bb2b browser side: adding contact, first draft Goffi <goffi@goffi.org> parents: 49 diff changeset	248 self.cancel_cb(self)
4419ef07bb2b browser side: adding contact, first draft Goffi <goffi@goffi.org> parents: 49 diff changeset	249
4419ef07bb2b browser side: adding contact, first draft Goffi <goffi@goffi.org> parents: 49 diff changeset	250 def onGroupInput(self, sender):
4419ef07bb2b browser side: adding contact, first draft Goffi <goffi@goffi.org> parents: 49 diff changeset	251 self.list_box.addItem(sender.getText())
4419ef07bb2b browser side: adding contact, first draft Goffi <goffi@goffi.org> parents: 49 diff changeset	252 sender.setText('')
4419ef07bb2b browser side: adding contact, first draft Goffi <goffi@goffi.org> parents: 49 diff changeset	253 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	254
95 1c75fd97baf9 browser side: widgets' setting: mouse wheel can now be used to change values Goffi <goffi@goffi.org> parents: 94 diff changeset	255 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	256
1c75fd97baf9 browser side: widgets' setting: mouse wheel can now be used to change values Goffi <goffi@goffi.org> parents: 94 diff changeset	257 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	258 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	259 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	260
1c75fd97baf9 browser side: widgets' setting: mouse wheel can now be used to change values Goffi <goffi@goffi.org> parents: 94 diff changeset	261
1c75fd97baf9 browser side: widgets' setting: mouse wheel can now be used to change values Goffi <goffi@goffi.org> parents: 94 diff changeset	262
90 9729ed7171a6 browser side: Widgets' setting (col & row span can be changed Goffi <goffi@goffi.org> parents: 66 diff changeset	263 class IntSetter(HorizontalPanel):
9729ed7171a6 browser side: Widgets' setting (col & row span can be changed Goffi <goffi@goffi.org> parents: 66 diff changeset	264 """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	265
9729ed7171a6 browser side: Widgets' setting (col & row span can be changed Goffi <goffi@goffi.org> parents: 66 diff changeset	266 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	267 """initialize the intSetter
9729ed7171a6 browser side: Widgets' setting (col & row span can be changed Goffi <goffi@goffi.org> parents: 66 diff changeset	268 @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	269 @param value: initial value
9729ed7171a6 browser side: Widgets' setting (col & row span can be changed Goffi <goffi@goffi.org> parents: 66 diff changeset	270 @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	271 HorizontalPanel.__init__(self)
9729ed7171a6 browser side: Widgets' setting (col & row span can be changed Goffi <goffi@goffi.org> parents: 66 diff changeset	272 self.value = value
9729ed7171a6 browser side: Widgets' setting (col & row span can be changed Goffi <goffi@goffi.org> parents: 66 diff changeset	273 self.value_max = value_max
9729ed7171a6 browser side: Widgets' setting (col & row span can be changed Goffi <goffi@goffi.org> parents: 66 diff changeset	274 _label = Label(label)
9729ed7171a6 browser side: Widgets' setting (col & row span can be changed Goffi <goffi@goffi.org> parents: 66 diff changeset	275 self.add(_label)
9729ed7171a6 browser side: Widgets' setting (col & row span can be changed Goffi <goffi@goffi.org> parents: 66 diff changeset	276 self.setCellWidth(_label, "100%")
9729ed7171a6 browser side: Widgets' setting (col & row span can be changed Goffi <goffi@goffi.org> parents: 66 diff changeset	277 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	278 self.box = WheelTextBox()
90 9729ed7171a6 browser side: Widgets' setting (col & row span can be changed Goffi <goffi@goffi.org> parents: 66 diff changeset	279 self.box.setVisibleLength(visible_len)
9729ed7171a6 browser side: Widgets' setting (col & row span can be changed Goffi <goffi@goffi.org> parents: 66 diff changeset	280 self.box.setText(str(value))
9729ed7171a6 browser side: Widgets' setting (col & row span can be changed Goffi <goffi@goffi.org> parents: 66 diff changeset	281 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	282 self.box.addMouseWheelListener(self)
90 9729ed7171a6 browser side: Widgets' setting (col & row span can be changed Goffi <goffi@goffi.org> parents: 66 diff changeset	283 plus_button = Button("+", self.onPlus)
9729ed7171a6 browser side: Widgets' setting (col & row span can be changed Goffi <goffi@goffi.org> parents: 66 diff changeset	284 self.add(minus_button)
9729ed7171a6 browser side: Widgets' setting (col & row span can be changed Goffi <goffi@goffi.org> parents: 66 diff changeset	285 self.add(self.box)
9729ed7171a6 browser side: Widgets' setting (col & row span can be changed Goffi <goffi@goffi.org> parents: 66 diff changeset	286 self.add(plus_button)
9729ed7171a6 browser side: Widgets' setting (col & row span can be changed Goffi <goffi@goffi.org> parents: 66 diff changeset	287 self.valueChangedListener = []
9729ed7171a6 browser side: Widgets' setting (col & row span can be changed Goffi <goffi@goffi.org> parents: 66 diff changeset	288
9729ed7171a6 browser side: Widgets' setting (col & row span can be changed Goffi <goffi@goffi.org> parents: 66 diff changeset	289 def addValueChangeListener(self, listener):
9729ed7171a6 browser side: Widgets' setting (col & row span can be changed Goffi <goffi@goffi.org> parents: 66 diff changeset	290 self.valueChangedListener.append(listener)
9729ed7171a6 browser side: Widgets' setting (col & row span can be changed Goffi <goffi@goffi.org> parents: 66 diff changeset	291
9729ed7171a6 browser side: Widgets' setting (col & row span can be changed Goffi <goffi@goffi.org> parents: 66 diff changeset	292 def removeValueChangeListener(self, listener):
9729ed7171a6 browser side: Widgets' setting (col & row span can be changed Goffi <goffi@goffi.org> parents: 66 diff changeset	293 if listener in self.valueChangedListener:
9729ed7171a6 browser side: Widgets' setting (col & row span can be changed Goffi <goffi@goffi.org> parents: 66 diff changeset	294 self.valueChangedListener.remove(listener)
9729ed7171a6 browser side: Widgets' setting (col & row span can be changed Goffi <goffi@goffi.org> parents: 66 diff changeset	295
9729ed7171a6 browser side: Widgets' setting (col & row span can be changed Goffi <goffi@goffi.org> parents: 66 diff changeset	296 def _callListeners(self):
9729ed7171a6 browser side: Widgets' setting (col & row span can be changed Goffi <goffi@goffi.org> parents: 66 diff changeset	297 for listener in self.valueChangedListener:
9729ed7171a6 browser side: Widgets' setting (col & row span can be changed Goffi <goffi@goffi.org> parents: 66 diff changeset	298 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	299
dd54bc13ac81 browser side: widgets' width and height can now be fixed + tarot game position fix Goffi <goffi@goffi.org> parents: 90 diff changeset	300 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	301 """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	302 self.value = value
94 8f9d30672225 browser side: widgets' setting reset button update fix Goffi <goffi@goffi.org> parents: 93 diff changeset	303 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	304 self._callListeners()
90 9729ed7171a6 browser side: Widgets' setting (col & row span can be changed Goffi <goffi@goffi.org> parents: 66 diff changeset	305
95 1c75fd97baf9 browser side: widgets' setting: mouse wheel can now be used to change values Goffi <goffi@goffi.org> parents: 94 diff changeset	306 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	307 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	308 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	309 self._callListeners()
9729ed7171a6 browser side: Widgets' setting (col & row span can be changed Goffi <goffi@goffi.org> parents: 66 diff changeset	310
95 1c75fd97baf9 browser side: widgets' setting: mouse wheel can now be used to change values Goffi <goffi@goffi.org> parents: 94 diff changeset	311 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	312 self.value+=step
90 9729ed7171a6 browser side: Widgets' setting (col & row span can be changed Goffi <goffi@goffi.org> parents: 66 diff changeset	313 if self.value_max:
9729ed7171a6 browser side: Widgets' setting (col & row span can be changed Goffi <goffi@goffi.org> parents: 66 diff changeset	314 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	315 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	316 self._callListeners()
9729ed7171a6 browser side: Widgets' setting (col & row span can be changed Goffi <goffi@goffi.org> parents: 66 diff changeset	317
9729ed7171a6 browser side: Widgets' setting (col & row span can be changed Goffi <goffi@goffi.org> parents: 66 diff changeset	318 def onInput(self, sender):
9729ed7171a6 browser side: Widgets' setting (col & row span can be changed Goffi <goffi@goffi.org> parents: 66 diff changeset	319 """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	320 try:
93 907a72e79b3e typo fix Goffi <goffi@goffi.org> parents: 92 diff changeset	321 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	322 except ValueError:
9729ed7171a6 browser side: Widgets' setting (col & row span can be changed Goffi <goffi@goffi.org> parents: 66 diff changeset	323 pass
9729ed7171a6 browser side: Widgets' setting (col & row span can be changed Goffi <goffi@goffi.org> parents: 66 diff changeset	324 if self.value_max:
9729ed7171a6 browser side: Widgets' setting (col & row span can be changed Goffi <goffi@goffi.org> parents: 66 diff changeset	325 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	326 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	327 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	328
1c75fd97baf9 browser side: widgets' setting: mouse wheel can now be used to change values Goffi <goffi@goffi.org> parents: 94 diff changeset	329 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	330 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	331 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	332 else:
1c75fd97baf9 browser side: widgets' setting: mouse wheel can now be used to change values Goffi <goffi@goffi.org> parents: 94 diff changeset	333 self.onPlus(sender, 10)

Mercurial > libervia-web

annotate browser_side/dialog.py @ 144:88512fbeb128