Mercurial > libervia-backend

annotate frontends/wix/param.py @ 133:d998adb62d1a

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
wix: fixed wrong class Name in card_game
author Goffi <goffi@goffi.org>
date Fri, 16 Jul 2010 20:14:01 +0800
parents 23caf1051099
children 7452ac3818e7
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
0
goffi@necton2
parents:
diff changeset
1 #!/usr/bin/python
goffi@necton2
parents:
diff changeset
2 # -*- coding: utf-8 -*-
goffi@necton2
parents:
diff changeset
3
goffi@necton2
parents:
diff changeset
4 """
goffi@necton2
parents:
diff changeset
5 wix: a SAT frontend
57
a5b5fb5fc9fd updated README and copyright note
Goffi <goffi@goffi.org>
parents: 34
diff changeset
6 Copyright (C) 2009, 2010 Jérôme Poisson (goffi@goffi.org)
0
goffi@necton2
parents:
diff changeset
7
goffi@necton2
parents:
diff changeset
8 This program is free software: you can redistribute it and/or modify
goffi@necton2
parents:
diff changeset
9 it under the terms of the GNU General Public License as published by
goffi@necton2
parents:
diff changeset
10 the Free Software Foundation, either version 3 of the License, or
goffi@necton2
parents:
diff changeset
11 (at your option) any later version.
goffi@necton2
parents:
diff changeset
12
goffi@necton2
parents:
diff changeset
13 This program is distributed in the hope that it will be useful,
goffi@necton2
parents:
diff changeset
14 but WITHOUT ANY WARRANTY; without even the implied warranty of
goffi@necton2
parents:
diff changeset
15 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
goffi@necton2
parents:
diff changeset
16 GNU General Public License for more details.
goffi@necton2
parents:
diff changeset
17
goffi@necton2
parents:
diff changeset
18 You should have received a copy of the GNU General Public License
goffi@necton2
parents:
diff changeset
19 along with this program. If not, see <http://www.gnu.org/licenses/>.
goffi@necton2
parents:
diff changeset
20 """
goffi@necton2
parents:
diff changeset
21
goffi@necton2
parents:
diff changeset
22
goffi@necton2
parents:
diff changeset
23
goffi@necton2
parents:
diff changeset
24 import wx
goffi@necton2
parents:
diff changeset
25 import pdb
18
6928e3cb73a8 refactoring: using xml params part II
Goffi <goffi@goffi.org>
parents: 0
diff changeset
26 from xml.dom import minidom
0
goffi@necton2
parents:
diff changeset
27 from logging import debug, info, error
23
925ab466c5ec better presentation for register new account
Goffi <goffi@goffi.org>
parents: 22
diff changeset
28 from tools.jid import JID
0
goffi@necton2
parents:
diff changeset
29
goffi@necton2
parents:
diff changeset
30
goffi@necton2
parents:
diff changeset
31 class Param(wx.Frame):
70
Goffi <goffi@goffi.org>
parents: 57
diff changeset
32 def __init__(self, host, title=_("Configuration")):
0
goffi@necton2
parents:
diff changeset
33 super(Param, self).__init__(None, title=title)
goffi@necton2
parents:
diff changeset
34
22
bb72c29f3432 added action cb mechanism for buttons. Tested with a temporary new user registration button.
Goffi <goffi@goffi.org>
parents: 21
diff changeset
35 self.host = host
0
goffi@necton2
parents:
diff changeset
36
23
925ab466c5ec better presentation for register new account
Goffi <goffi@goffi.org>
parents: 22
diff changeset
37 self.modified = {} # dict of modified data (i.e. what we have to save)
925ab466c5ec better presentation for register new account
Goffi <goffi@goffi.org>
parents: 22
diff changeset
38 self.ctl_list = {} # usefull to access ctrl, key = (name, category)
0
goffi@necton2
parents:
diff changeset
39
goffi@necton2
parents:
diff changeset
40 self.sizer = wx.BoxSizer(wx.VERTICAL)
goffi@necton2
parents:
diff changeset
41 self.notebook=wx.Notebook(self, -1, style=wx.NB_LEFT)
goffi@necton2
parents:
diff changeset
42 self.sizer.Add(self.notebook, 1, flag=wx.EXPAND)
goffi@necton2
parents:
diff changeset
43 self.SetSizer(self.sizer)
goffi@necton2
parents:
diff changeset
44 self.SetAutoLayout(True)
goffi@necton2
parents:
diff changeset
45
goffi@necton2
parents:
diff changeset
46 #events
goffi@necton2
parents:
diff changeset
47 self.Bind(wx.EVT_CLOSE, self.onClose, self)
goffi@necton2
parents:
diff changeset
48
goffi@necton2
parents:
diff changeset
49 self.MakeModal()
goffi@necton2
parents:
diff changeset
50
22
bb72c29f3432 added action cb mechanism for buttons. Tested with a temporary new user registration button.
Goffi <goffi@goffi.org>
parents: 21
diff changeset
51 for category in self.host.bridge.getParamsCategories():
0
goffi@necton2
parents:
diff changeset
52 self.addCategory(category)
goffi@necton2
parents:
diff changeset
53
goffi@necton2
parents:
diff changeset
54 self.Show()
goffi@necton2
parents:
diff changeset
55
goffi@necton2
parents:
diff changeset
56 def addCategory(self, category):
goffi@necton2
parents:
diff changeset
57 panel=wx.Panel(self.notebook)
goffi@necton2
parents:
diff changeset
58 panel.sizer = wx.BoxSizer(wx.VERTICAL)
goffi@necton2
parents:
diff changeset
59
89
23caf1051099 multi-profile/subscription misc fixes
Goffi <goffi@goffi.org>
parents: 70
diff changeset
60 cat_dom = minidom.parseString(self.host.bridge.getParamsForCategory(category, profile_key = self.host.profile).encode('utf-8'))
18
6928e3cb73a8 refactoring: using xml params part II
Goffi <goffi@goffi.org>
parents: 0
diff changeset
61
6928e3cb73a8 refactoring: using xml params part II
Goffi <goffi@goffi.org>
parents: 0
diff changeset
62 for param in cat_dom.documentElement.getElementsByTagName("param"):
6928e3cb73a8 refactoring: using xml params part II
Goffi <goffi@goffi.org>
parents: 0
diff changeset
63 name = param.getAttribute("name")
6928e3cb73a8 refactoring: using xml params part II
Goffi <goffi@goffi.org>
parents: 0
diff changeset
64 type = param.getAttribute("type")
6928e3cb73a8 refactoring: using xml params part II
Goffi <goffi@goffi.org>
parents: 0
diff changeset
65 value = param.getAttribute("value")
0
goffi@necton2
parents:
diff changeset
66 sizer = wx.BoxSizer(wx.HORIZONTAL)
18
6928e3cb73a8 refactoring: using xml params part II
Goffi <goffi@goffi.org>
parents: 0
diff changeset
67 if type=="string":
21
633c5ed65701 parameters: new button type (not finished)
Goffi <goffi@goffi.org>
parents: 18
diff changeset
68 label=wx.StaticText(panel, -1, name+" ")
18
6928e3cb73a8 refactoring: using xml params part II
Goffi <goffi@goffi.org>
parents: 0
diff changeset
69 ctrl = wx.TextCtrl(panel, -1, value)
21
633c5ed65701 parameters: new button type (not finished)
Goffi <goffi@goffi.org>
parents: 18
diff changeset
70 sizer.Add(label)
18
6928e3cb73a8 refactoring: using xml params part II
Goffi <goffi@goffi.org>
parents: 0
diff changeset
71 elif type=="password":
21
633c5ed65701 parameters: new button type (not finished)
Goffi <goffi@goffi.org>
parents: 18
diff changeset
72 label=wx.StaticText(panel, -1, name+" ")
18
6928e3cb73a8 refactoring: using xml params part II
Goffi <goffi@goffi.org>
parents: 0
diff changeset
73 ctrl = wx.TextCtrl(panel, -1, value, style=wx.TE_PASSWORD)
21
633c5ed65701 parameters: new button type (not finished)
Goffi <goffi@goffi.org>
parents: 18
diff changeset
74 sizer.Add(label)
633c5ed65701 parameters: new button type (not finished)
Goffi <goffi@goffi.org>
parents: 18
diff changeset
75 elif type=="button":
633c5ed65701 parameters: new button type (not finished)
Goffi <goffi@goffi.org>
parents: 18
diff changeset
76 ctrl = wx.Button(panel, -1, value)
0
goffi@necton2
parents:
diff changeset
77 else:
70
Goffi <goffi@goffi.org>
parents: 57
diff changeset
78 error(_("FIXME FIXME FIXME")) #FIXME !
0
goffi@necton2
parents:
diff changeset
79 raise NotImplementedError
18
6928e3cb73a8 refactoring: using xml params part II
Goffi <goffi@goffi.org>
parents: 0
diff changeset
80 ctrl.param_id=(name, category)
0
goffi@necton2
parents:
diff changeset
81 sizer.Add(ctrl, 1, flag=wx.EXPAND)
23
925ab466c5ec better presentation for register new account
Goffi <goffi@goffi.org>
parents: 22
diff changeset
82 self.ctl_list[(name, category)] = ctrl
0
goffi@necton2
parents:
diff changeset
83 panel.sizer.Add(sizer, flag=wx.EXPAND)
goffi@necton2
parents:
diff changeset
84
21
633c5ed65701 parameters: new button type (not finished)
Goffi <goffi@goffi.org>
parents: 18
diff changeset
85 if type=="string" or type=="password":
633c5ed65701 parameters: new button type (not finished)
Goffi <goffi@goffi.org>
parents: 18
diff changeset
86 panel.Bind(wx.EVT_TEXT, self.onTextChanged, ctrl)
633c5ed65701 parameters: new button type (not finished)
Goffi <goffi@goffi.org>
parents: 18
diff changeset
87 elif type=="button":
633c5ed65701 parameters: new button type (not finished)
Goffi <goffi@goffi.org>
parents: 18
diff changeset
88 panel.Bind(wx.EVT_BUTTON, self.onButtonClicked, ctrl)
633c5ed65701 parameters: new button type (not finished)
Goffi <goffi@goffi.org>
parents: 18
diff changeset
89
0
goffi@necton2
parents:
diff changeset
90 panel.SetSizer(panel.sizer)
goffi@necton2
parents:
diff changeset
91 panel.SetAutoLayout(True)
goffi@necton2
parents:
diff changeset
92 self.notebook.AddPage(panel, category)
18
6928e3cb73a8 refactoring: using xml params part II
Goffi <goffi@goffi.org>
parents: 0
diff changeset
93 cat_dom.unlink()
0
goffi@necton2
parents:
diff changeset
94
goffi@necton2
parents:
diff changeset
95 def onTextChanged(self, event):
goffi@necton2
parents:
diff changeset
96 """Called when a paramated is modified"""
goffi@necton2
parents:
diff changeset
97 self.modified[event.GetEventObject().param_id]=event.GetString()
23
925ab466c5ec better presentation for register new account
Goffi <goffi@goffi.org>
parents: 22
diff changeset
98
925ab466c5ec better presentation for register new account
Goffi <goffi@goffi.org>
parents: 22
diff changeset
99 ### FIXME # Some hacks for better presentation, should be generic # FIXME ###
925ab466c5ec better presentation for register new account
Goffi <goffi@goffi.org>
parents: 22
diff changeset
100 if event.GetEventObject().param_id == ('JabberID', 'Connection'):
925ab466c5ec better presentation for register new account
Goffi <goffi@goffi.org>
parents: 22
diff changeset
101 domain = JID(event.GetString()).domain
925ab466c5ec better presentation for register new account
Goffi <goffi@goffi.org>
parents: 22
diff changeset
102 self.ctl_list[('Server', 'Connection')].SetValue(domain)
925ab466c5ec better presentation for register new account
Goffi <goffi@goffi.org>
parents: 22
diff changeset
103 self.modified[('Server', 'Connection')] = domain
925ab466c5ec better presentation for register new account
Goffi <goffi@goffi.org>
parents: 22
diff changeset
104
0
goffi@necton2
parents:
diff changeset
105 event.Skip()
goffi@necton2
parents:
diff changeset
106
21
633c5ed65701 parameters: new button type (not finished)
Goffi <goffi@goffi.org>
parents: 18
diff changeset
107 def onButtonClicked(self, event):
633c5ed65701 parameters: new button type (not finished)
Goffi <goffi@goffi.org>
parents: 18
diff changeset
108 """Called when a paramated is modified"""
23
925ab466c5ec better presentation for register new account
Goffi <goffi@goffi.org>
parents: 22
diff changeset
109 self.__save_parameters()
22
bb72c29f3432 added action cb mechanism for buttons. Tested with a temporary new user registration button.
Goffi <goffi@goffi.org>
parents: 21
diff changeset
110 name, category = event.GetEventObject().param_id
bb72c29f3432 added action cb mechanism for buttons. Tested with a temporary new user registration button.
Goffi <goffi@goffi.org>
parents: 21
diff changeset
111 data = {"name":name, "category":category}
bb72c29f3432 added action cb mechanism for buttons. Tested with a temporary new user registration button.
Goffi <goffi@goffi.org>
parents: 21
diff changeset
112 id = self.host.bridge.launchAction("button", data)
bb72c29f3432 added action cb mechanism for buttons. Tested with a temporary new user registration button.
Goffi <goffi@goffi.org>
parents: 21
diff changeset
113 self.host.current_action_ids.add(id)
21
633c5ed65701 parameters: new button type (not finished)
Goffi <goffi@goffi.org>
parents: 18
diff changeset
114 event.Skip()
0
goffi@necton2
parents:
diff changeset
115
23
925ab466c5ec better presentation for register new account
Goffi <goffi@goffi.org>
parents: 22
diff changeset
116 def __save_parameters(self):
925ab466c5ec better presentation for register new account
Goffi <goffi@goffi.org>
parents: 22
diff changeset
117 for param in self.modified:
89
23caf1051099 multi-profile/subscription misc fixes
Goffi <goffi@goffi.org>
parents: 70
diff changeset
118 self.host.bridge.setParam(param[0], self.modified[param], param[1], profile_key = self.host.profile)
23
925ab466c5ec better presentation for register new account
Goffi <goffi@goffi.org>
parents: 22
diff changeset
119 self.modified.clear()
925ab466c5ec better presentation for register new account
Goffi <goffi@goffi.org>
parents: 22
diff changeset
120
0
goffi@necton2
parents:
diff changeset
121 def onClose(self, event):
goffi@necton2
parents:
diff changeset
122 """Close event: we have to save the params."""
70
Goffi <goffi@goffi.org>
parents: 57
diff changeset
123 debug(_("close"))
0
goffi@necton2
parents:
diff changeset
124 #now we save the modifier params
23
925ab466c5ec better presentation for register new account
Goffi <goffi@goffi.org>
parents: 22
diff changeset
125 self.__save_parameters()
0
goffi@necton2
parents:
diff changeset
126
goffi@necton2
parents:
diff changeset
127 self.MakeModal(False)
goffi@necton2
parents:
diff changeset
128 event.Skip()
goffi@necton2
parents:
diff changeset
129