Mercurial > libervia-desktop-kivy
annotate src/profile_manager.py @ 6:85649eca9f9b
core (logs): integrate Kivy logs with SàT:
- forbid kivy to handle its own logs
- added log_kivy_level option which can be put in sat.conf in [cagou] section. This option can have the following values:
- follow [default]: follow SàT cagou level
- kivy: follow level set in kivy own configuration
- [log_level]: set this log level only for kivy messages
| author | Goffi <goffi@goffi.org> |
|---|---|
| date | Thu, 07 Jul 2016 09:39:21 +0200 |
| parents | 33b619506832 |
| children |
| rev | line source |
|---|---|
| 0 | 1 #!/usr/bin/python |
| 2 # -*- coding: utf-8 -*- | |
| 3 | |
| 4 # Cagou: desktop/mobile frontend for Salut à Toi XMPP client | |
| 5 # Copyright (C) 2016 Jérôme Poisson (goffi@goffi.org) | |
| 6 | |
| 7 # This program is free software: you can redistribute it and/or modify | |
| 8 # it under the terms of the GNU Affero General Public License as published by | |
| 9 # the Free Software Foundation, either version 3 of the License, or | |
| 10 # (at your option) any later version. | |
| 11 | |
| 12 # This program is distributed in the hope that it will be useful, | |
| 13 # but WITHOUT ANY WARRANTY; without even the implied warranty of | |
| 14 # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the | |
| 15 # GNU Affero General Public License for more details. | |
| 16 | |
| 17 # You should have received a copy of the GNU Affero General Public License | |
| 18 # along with this program. If not, see <http://www.gnu.org/licenses/>. | |
| 19 | |
| 20 | |
|
2
8f9ed634a5eb
Profile manager: profile(s) deletion is handled
Goffi <goffi@goffi.org>
parents:
1
diff
changeset
|
21 from sat.core import log as logging |
|
8f9ed634a5eb
Profile manager: profile(s) deletion is handled
Goffi <goffi@goffi.org>
parents:
1
diff
changeset
|
22 log = logging.getLogger(__name__) |
| 0 | 23 from sat_frontends.constants import Const as C |
| 24 from sat_frontends.quick_frontend.quick_profile_manager import QuickProfileManager | |
| 25 from kivy.uix.boxlayout import BoxLayout | |
| 26 from kivy.uix import listview | |
| 27 from kivy.uix.button import Button | |
| 28 from kivy.uix.screenmanager import ScreenManager, Screen | |
| 29 from kivy.adapters import listadapter | |
|
1
189b76859110
Profile manager: new profile creation is handled
Goffi <goffi@goffi.org>
parents:
0
diff
changeset
|
30 from kivy import properties |
| 0 | 31 |
| 32 | |
| 33 class ProfileItem(listview.ListItemButton): | |
| 34 pass | |
| 35 | |
| 36 | |
| 37 class ProfileListAdapter(listadapter.ListAdapter): | |
| 38 | |
| 39 def __init__(self, pm, *args, **kwargs): | |
| 40 super(ProfileListAdapter, self).__init__(*args, **kwargs) | |
| 41 self.pm = pm | |
| 42 self.host = pm.host | |
| 43 | |
| 44 def closeUI(self, xmlui): | |
| 45 self.pm.screen_manager.transition.direction = 'right' | |
| 46 self.pm.screen_manager.current = 'profiles' | |
| 47 | |
| 48 def showUI(self, xmlui): | |
| 49 xmlui.setCloseCb(self.closeUI) | |
| 50 if xmlui.type == 'popup': | |
| 51 xmlui.bind(on_touch_up=lambda obj, value: self.closeUI(xmlui)) | |
| 52 self.pm.xmlui_screen.clear_widgets() | |
| 53 self.pm.xmlui_screen.add_widget(xmlui) | |
| 54 self.pm.screen_manager.transition.direction = 'left' | |
| 55 self.pm.screen_manager.current = 'xmlui' | |
| 56 | |
| 57 def select_item_view(self, view): | |
| 58 def authenticate_cb(data, cb_id, profile): | |
| 59 if C.bool(data.pop('validated', C.BOOL_FALSE)): | |
| 60 super(ProfileListAdapter, self).select_item_view(view) | |
| 61 self.host.actionManager(data, callback=authenticate_cb, ui_show_cb=self.showUI, profile=profile) | |
| 62 | |
| 63 self.host.launchAction(C.AUTHENTICATE_PROFILE_ID, callback=authenticate_cb, profile=view.text) | |
| 64 | |
| 65 | |
| 66 class ConnectButton(Button): | |
|
4
440a743b58ee
Profile manager: Connect button is disabled when no profile is selected
Goffi <goffi@goffi.org>
parents:
2
diff
changeset
|
67 |
|
5
33b619506832
profile manger: launch plug process when "Connect" button is pressed (full plugging is not working yet)
Goffi <goffi@goffi.org>
parents:
4
diff
changeset
|
68 def __init__(self, profile_screen): |
|
33b619506832
profile manger: launch plug process when "Connect" button is pressed (full plugging is not working yet)
Goffi <goffi@goffi.org>
parents:
4
diff
changeset
|
69 self.profile_screen = profile_screen |
|
33b619506832
profile manger: launch plug process when "Connect" button is pressed (full plugging is not working yet)
Goffi <goffi@goffi.org>
parents:
4
diff
changeset
|
70 self.pm = profile_screen.pm |
|
4
440a743b58ee
Profile manager: Connect button is disabled when no profile is selected
Goffi <goffi@goffi.org>
parents:
2
diff
changeset
|
71 super(ConnectButton, self).__init__() |
| 0 | 72 |
| 73 | |
|
1
189b76859110
Profile manager: new profile creation is handled
Goffi <goffi@goffi.org>
parents:
0
diff
changeset
|
74 class NewProfileScreen(Screen): |
|
189b76859110
Profile manager: new profile creation is handled
Goffi <goffi@goffi.org>
parents:
0
diff
changeset
|
75 profile_name = properties.ObjectProperty(None) |
|
189b76859110
Profile manager: new profile creation is handled
Goffi <goffi@goffi.org>
parents:
0
diff
changeset
|
76 jid = properties.ObjectProperty(None) |
|
189b76859110
Profile manager: new profile creation is handled
Goffi <goffi@goffi.org>
parents:
0
diff
changeset
|
77 password = properties.ObjectProperty(None) |
|
189b76859110
Profile manager: new profile creation is handled
Goffi <goffi@goffi.org>
parents:
0
diff
changeset
|
78 error_msg = properties.StringProperty('') |
| 0 | 79 |
| 80 def __init__(self, pm): | |
|
1
189b76859110
Profile manager: new profile creation is handled
Goffi <goffi@goffi.org>
parents:
0
diff
changeset
|
81 super(NewProfileScreen, self).__init__(name=u'new_profile') |
|
189b76859110
Profile manager: new profile creation is handled
Goffi <goffi@goffi.org>
parents:
0
diff
changeset
|
82 self.pm = pm |
|
189b76859110
Profile manager: new profile creation is handled
Goffi <goffi@goffi.org>
parents:
0
diff
changeset
|
83 self.host = pm.host |
|
189b76859110
Profile manager: new profile creation is handled
Goffi <goffi@goffi.org>
parents:
0
diff
changeset
|
84 |
|
189b76859110
Profile manager: new profile creation is handled
Goffi <goffi@goffi.org>
parents:
0
diff
changeset
|
85 def onCreationFailure(self, failure): |
|
189b76859110
Profile manager: new profile creation is handled
Goffi <goffi@goffi.org>
parents:
0
diff
changeset
|
86 msg = [l for l in unicode(failure).split('\n') if l][-1] |
|
189b76859110
Profile manager: new profile creation is handled
Goffi <goffi@goffi.org>
parents:
0
diff
changeset
|
87 self.error_msg = unicode(msg) |
|
189b76859110
Profile manager: new profile creation is handled
Goffi <goffi@goffi.org>
parents:
0
diff
changeset
|
88 |
|
189b76859110
Profile manager: new profile creation is handled
Goffi <goffi@goffi.org>
parents:
0
diff
changeset
|
89 def onCreationSuccess(self, profile): |
|
189b76859110
Profile manager: new profile creation is handled
Goffi <goffi@goffi.org>
parents:
0
diff
changeset
|
90 self.pm.profiles_screen.reload() |
|
189b76859110
Profile manager: new profile creation is handled
Goffi <goffi@goffi.org>
parents:
0
diff
changeset
|
91 self.host.bridge.profileStartSession(self.password.text, profile, callback=lambda dummy: self._sessionStarted(profile), errback=self.onCreationFailure) |
|
189b76859110
Profile manager: new profile creation is handled
Goffi <goffi@goffi.org>
parents:
0
diff
changeset
|
92 |
|
189b76859110
Profile manager: new profile creation is handled
Goffi <goffi@goffi.org>
parents:
0
diff
changeset
|
93 def _sessionStarted(self, profile): |
|
189b76859110
Profile manager: new profile creation is handled
Goffi <goffi@goffi.org>
parents:
0
diff
changeset
|
94 jid = self.jid.text.strip() |
|
189b76859110
Profile manager: new profile creation is handled
Goffi <goffi@goffi.org>
parents:
0
diff
changeset
|
95 self.host.bridge.setParam("JabberID", jid, "Connection", -1, profile) |
|
189b76859110
Profile manager: new profile creation is handled
Goffi <goffi@goffi.org>
parents:
0
diff
changeset
|
96 self.host.bridge.setParam("Password", self.password.text, "Connection", -1, profile) |
|
189b76859110
Profile manager: new profile creation is handled
Goffi <goffi@goffi.org>
parents:
0
diff
changeset
|
97 self.pm.screen_manager.transition.direction = 'right' |
|
189b76859110
Profile manager: new profile creation is handled
Goffi <goffi@goffi.org>
parents:
0
diff
changeset
|
98 self.pm.screen_manager.current = 'profiles' |
|
189b76859110
Profile manager: new profile creation is handled
Goffi <goffi@goffi.org>
parents:
0
diff
changeset
|
99 |
|
189b76859110
Profile manager: new profile creation is handled
Goffi <goffi@goffi.org>
parents:
0
diff
changeset
|
100 def doCreate(self): |
|
189b76859110
Profile manager: new profile creation is handled
Goffi <goffi@goffi.org>
parents:
0
diff
changeset
|
101 name = self.profile_name.text.strip() |
|
189b76859110
Profile manager: new profile creation is handled
Goffi <goffi@goffi.org>
parents:
0
diff
changeset
|
102 # XXX: we use XMPP password for profile password to simplify |
|
189b76859110
Profile manager: new profile creation is handled
Goffi <goffi@goffi.org>
parents:
0
diff
changeset
|
103 # if user want to change profile password, he can do it in preferences |
|
189b76859110
Profile manager: new profile creation is handled
Goffi <goffi@goffi.org>
parents:
0
diff
changeset
|
104 self.host.bridge.asyncCreateProfile(name, self.password.text, callback=lambda: self.onCreationSuccess(name), errback=self.onCreationFailure) |
|
189b76859110
Profile manager: new profile creation is handled
Goffi <goffi@goffi.org>
parents:
0
diff
changeset
|
105 |
|
189b76859110
Profile manager: new profile creation is handled
Goffi <goffi@goffi.org>
parents:
0
diff
changeset
|
106 |
|
2
8f9ed634a5eb
Profile manager: profile(s) deletion is handled
Goffi <goffi@goffi.org>
parents:
1
diff
changeset
|
107 class DeleteProfilesScreen(Screen): |
|
8f9ed634a5eb
Profile manager: profile(s) deletion is handled
Goffi <goffi@goffi.org>
parents:
1
diff
changeset
|
108 |
|
8f9ed634a5eb
Profile manager: profile(s) deletion is handled
Goffi <goffi@goffi.org>
parents:
1
diff
changeset
|
109 def __init__(self, pm): |
|
8f9ed634a5eb
Profile manager: profile(s) deletion is handled
Goffi <goffi@goffi.org>
parents:
1
diff
changeset
|
110 self.pm = pm |
|
8f9ed634a5eb
Profile manager: profile(s) deletion is handled
Goffi <goffi@goffi.org>
parents:
1
diff
changeset
|
111 self.host = pm.host |
|
8f9ed634a5eb
Profile manager: profile(s) deletion is handled
Goffi <goffi@goffi.org>
parents:
1
diff
changeset
|
112 super(DeleteProfilesScreen, self).__init__(name=u'delete_profiles') |
|
8f9ed634a5eb
Profile manager: profile(s) deletion is handled
Goffi <goffi@goffi.org>
parents:
1
diff
changeset
|
113 |
|
8f9ed634a5eb
Profile manager: profile(s) deletion is handled
Goffi <goffi@goffi.org>
parents:
1
diff
changeset
|
114 def doDelete(self): |
|
8f9ed634a5eb
Profile manager: profile(s) deletion is handled
Goffi <goffi@goffi.org>
parents:
1
diff
changeset
|
115 """This method will delete *ALL* selected profiles""" |
|
5
33b619506832
profile manger: launch plug process when "Connect" button is pressed (full plugging is not working yet)
Goffi <goffi@goffi.org>
parents:
4
diff
changeset
|
116 to_delete = self.pm.getProfiles() |
|
2
8f9ed634a5eb
Profile manager: profile(s) deletion is handled
Goffi <goffi@goffi.org>
parents:
1
diff
changeset
|
117 deleted = [0] |
|
8f9ed634a5eb
Profile manager: profile(s) deletion is handled
Goffi <goffi@goffi.org>
parents:
1
diff
changeset
|
118 |
|
8f9ed634a5eb
Profile manager: profile(s) deletion is handled
Goffi <goffi@goffi.org>
parents:
1
diff
changeset
|
119 def deleteInc(): |
|
8f9ed634a5eb
Profile manager: profile(s) deletion is handled
Goffi <goffi@goffi.org>
parents:
1
diff
changeset
|
120 deleted[0] += 1 |
|
5
33b619506832
profile manger: launch plug process when "Connect" button is pressed (full plugging is not working yet)
Goffi <goffi@goffi.org>
parents:
4
diff
changeset
|
121 if deleted[0] == len(to_delete): |
|
2
8f9ed634a5eb
Profile manager: profile(s) deletion is handled
Goffi <goffi@goffi.org>
parents:
1
diff
changeset
|
122 self.pm.profiles_screen.reload() |
|
8f9ed634a5eb
Profile manager: profile(s) deletion is handled
Goffi <goffi@goffi.org>
parents:
1
diff
changeset
|
123 self.pm.screen_manager.transition.direction = 'right' |
|
8f9ed634a5eb
Profile manager: profile(s) deletion is handled
Goffi <goffi@goffi.org>
parents:
1
diff
changeset
|
124 self.pm.screen_manager.current = 'profiles' |
|
8f9ed634a5eb
Profile manager: profile(s) deletion is handled
Goffi <goffi@goffi.org>
parents:
1
diff
changeset
|
125 |
|
5
33b619506832
profile manger: launch plug process when "Connect" button is pressed (full plugging is not working yet)
Goffi <goffi@goffi.org>
parents:
4
diff
changeset
|
126 for profile in to_delete: |
|
2
8f9ed634a5eb
Profile manager: profile(s) deletion is handled
Goffi <goffi@goffi.org>
parents:
1
diff
changeset
|
127 log.info(u"Deleteing profile [{}]".format(profile)) |
|
8f9ed634a5eb
Profile manager: profile(s) deletion is handled
Goffi <goffi@goffi.org>
parents:
1
diff
changeset
|
128 self.host.bridge.asyncDeleteProfile(profile, callback=deleteInc, errback=deleteInc) |
|
8f9ed634a5eb
Profile manager: profile(s) deletion is handled
Goffi <goffi@goffi.org>
parents:
1
diff
changeset
|
129 |
|
8f9ed634a5eb
Profile manager: profile(s) deletion is handled
Goffi <goffi@goffi.org>
parents:
1
diff
changeset
|
130 |
|
1
189b76859110
Profile manager: new profile creation is handled
Goffi <goffi@goffi.org>
parents:
0
diff
changeset
|
131 class ProfilesScreen(Screen): |
|
189b76859110
Profile manager: new profile creation is handled
Goffi <goffi@goffi.org>
parents:
0
diff
changeset
|
132 layout = properties.ObjectProperty(None) |
|
189b76859110
Profile manager: new profile creation is handled
Goffi <goffi@goffi.org>
parents:
0
diff
changeset
|
133 |
|
189b76859110
Profile manager: new profile creation is handled
Goffi <goffi@goffi.org>
parents:
0
diff
changeset
|
134 def __init__(self, pm): |
|
189b76859110
Profile manager: new profile creation is handled
Goffi <goffi@goffi.org>
parents:
0
diff
changeset
|
135 self.pm = pm |
| 0 | 136 profiles = pm.host.bridge.getProfilesList() |
| 137 profiles.sort() | |
|
1
189b76859110
Profile manager: new profile creation is handled
Goffi <goffi@goffi.org>
parents:
0
diff
changeset
|
138 self.list_adapter = ProfileListAdapter(pm, |
|
189b76859110
Profile manager: new profile creation is handled
Goffi <goffi@goffi.org>
parents:
0
diff
changeset
|
139 data=profiles, |
|
189b76859110
Profile manager: new profile creation is handled
Goffi <goffi@goffi.org>
parents:
0
diff
changeset
|
140 cls=ProfileItem, |
|
189b76859110
Profile manager: new profile creation is handled
Goffi <goffi@goffi.org>
parents:
0
diff
changeset
|
141 selection_mode='multiple', |
|
189b76859110
Profile manager: new profile creation is handled
Goffi <goffi@goffi.org>
parents:
0
diff
changeset
|
142 allow_empty_selection=True, |
|
189b76859110
Profile manager: new profile creation is handled
Goffi <goffi@goffi.org>
parents:
0
diff
changeset
|
143 ) |
|
2
8f9ed634a5eb
Profile manager: profile(s) deletion is handled
Goffi <goffi@goffi.org>
parents:
1
diff
changeset
|
144 super(ProfilesScreen, self).__init__(name=u'profiles') |
|
1
189b76859110
Profile manager: new profile creation is handled
Goffi <goffi@goffi.org>
parents:
0
diff
changeset
|
145 self.layout.add_widget(listview.ListView(adapter=self.list_adapter)) |
|
4
440a743b58ee
Profile manager: Connect button is disabled when no profile is selected
Goffi <goffi@goffi.org>
parents:
2
diff
changeset
|
146 connect_btn = ConnectButton(self) |
| 0 | 147 self.layout.add_widget(connect_btn) |
| 148 | |
|
1
189b76859110
Profile manager: new profile creation is handled
Goffi <goffi@goffi.org>
parents:
0
diff
changeset
|
149 def reload(self): |
|
189b76859110
Profile manager: new profile creation is handled
Goffi <goffi@goffi.org>
parents:
0
diff
changeset
|
150 """Reload profiles list""" |
|
189b76859110
Profile manager: new profile creation is handled
Goffi <goffi@goffi.org>
parents:
0
diff
changeset
|
151 profiles = self.pm.host.bridge.getProfilesList() |
|
189b76859110
Profile manager: new profile creation is handled
Goffi <goffi@goffi.org>
parents:
0
diff
changeset
|
152 profiles.sort() |
|
189b76859110
Profile manager: new profile creation is handled
Goffi <goffi@goffi.org>
parents:
0
diff
changeset
|
153 self.list_adapter.data = profiles |
|
189b76859110
Profile manager: new profile creation is handled
Goffi <goffi@goffi.org>
parents:
0
diff
changeset
|
154 |
| 0 | 155 |
| 156 class ProfileManager(QuickProfileManager, BoxLayout): | |
| 157 | |
| 158 def __init__(self, host, autoconnect=None): | |
| 159 QuickProfileManager.__init__(self, host, autoconnect) | |
| 160 BoxLayout.__init__(self, orientation="vertical") | |
| 161 self.screen_manager = ScreenManager() | |
|
1
189b76859110
Profile manager: new profile creation is handled
Goffi <goffi@goffi.org>
parents:
0
diff
changeset
|
162 self.profiles_screen = ProfilesScreen(self) |
|
189b76859110
Profile manager: new profile creation is handled
Goffi <goffi@goffi.org>
parents:
0
diff
changeset
|
163 self.new_profile_screen = NewProfileScreen(self) |
|
2
8f9ed634a5eb
Profile manager: profile(s) deletion is handled
Goffi <goffi@goffi.org>
parents:
1
diff
changeset
|
164 self.delete_profiles_screen = DeleteProfilesScreen(self) |
| 0 | 165 self.xmlui_screen = Screen(name=u'xmlui') |
| 166 self.screen_manager.add_widget(self.profiles_screen) | |
| 167 self.screen_manager.add_widget(self.xmlui_screen) | |
|
1
189b76859110
Profile manager: new profile creation is handled
Goffi <goffi@goffi.org>
parents:
0
diff
changeset
|
168 self.screen_manager.add_widget(self.new_profile_screen) |
|
2
8f9ed634a5eb
Profile manager: profile(s) deletion is handled
Goffi <goffi@goffi.org>
parents:
1
diff
changeset
|
169 self.screen_manager.add_widget(self.delete_profiles_screen) |
| 0 | 170 self.add_widget(self.screen_manager) |
| 171 | |
|
5
33b619506832
profile manger: launch plug process when "Connect" button is pressed (full plugging is not working yet)
Goffi <goffi@goffi.org>
parents:
4
diff
changeset
|
172 def getProfiles(self): |
|
33b619506832
profile manger: launch plug process when "Connect" button is pressed (full plugging is not working yet)
Goffi <goffi@goffi.org>
parents:
4
diff
changeset
|
173 return [pi.text for pi in self.profiles_screen.list_adapter.selection] |