Mercurial > libervia-desktop-kivy
annotate src/profile_manager.py @ 2:8f9ed634a5eb
Profile manager: profile(s) deletion is handled
| author | Goffi <goffi@goffi.org> |
|---|---|
| date | Sat, 26 Mar 2016 19:47:09 +0100 |
| parents | 189b76859110 |
| children | 440a743b58ee |
| 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): | |
| 67 pass | |
| 68 | |
| 69 | |
|
1
189b76859110
Profile manager: new profile creation is handled
Goffi <goffi@goffi.org>
parents:
0
diff
changeset
|
70 class NewProfileScreen(Screen): |
|
189b76859110
Profile manager: new profile creation is handled
Goffi <goffi@goffi.org>
parents:
0
diff
changeset
|
71 profile_name = properties.ObjectProperty(None) |
|
189b76859110
Profile manager: new profile creation is handled
Goffi <goffi@goffi.org>
parents:
0
diff
changeset
|
72 jid = properties.ObjectProperty(None) |
|
189b76859110
Profile manager: new profile creation is handled
Goffi <goffi@goffi.org>
parents:
0
diff
changeset
|
73 password = properties.ObjectProperty(None) |
|
189b76859110
Profile manager: new profile creation is handled
Goffi <goffi@goffi.org>
parents:
0
diff
changeset
|
74 error_msg = properties.StringProperty('') |
| 0 | 75 |
| 76 def __init__(self, pm): | |
|
1
189b76859110
Profile manager: new profile creation is handled
Goffi <goffi@goffi.org>
parents:
0
diff
changeset
|
77 super(NewProfileScreen, self).__init__(name=u'new_profile') |
|
189b76859110
Profile manager: new profile creation is handled
Goffi <goffi@goffi.org>
parents:
0
diff
changeset
|
78 self.pm = pm |
|
189b76859110
Profile manager: new profile creation is handled
Goffi <goffi@goffi.org>
parents:
0
diff
changeset
|
79 self.host = pm.host |
|
189b76859110
Profile manager: new profile creation is handled
Goffi <goffi@goffi.org>
parents:
0
diff
changeset
|
80 |
|
189b76859110
Profile manager: new profile creation is handled
Goffi <goffi@goffi.org>
parents:
0
diff
changeset
|
81 def onCreationFailure(self, failure): |
|
189b76859110
Profile manager: new profile creation is handled
Goffi <goffi@goffi.org>
parents:
0
diff
changeset
|
82 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
|
83 self.error_msg = unicode(msg) |
|
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 onCreationSuccess(self, profile): |
|
189b76859110
Profile manager: new profile creation is handled
Goffi <goffi@goffi.org>
parents:
0
diff
changeset
|
86 self.pm.profiles_screen.reload() |
|
189b76859110
Profile manager: new profile creation is handled
Goffi <goffi@goffi.org>
parents:
0
diff
changeset
|
87 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
|
88 |
|
189b76859110
Profile manager: new profile creation is handled
Goffi <goffi@goffi.org>
parents:
0
diff
changeset
|
89 def _sessionStarted(self, profile): |
|
189b76859110
Profile manager: new profile creation is handled
Goffi <goffi@goffi.org>
parents:
0
diff
changeset
|
90 jid = self.jid.text.strip() |
|
189b76859110
Profile manager: new profile creation is handled
Goffi <goffi@goffi.org>
parents:
0
diff
changeset
|
91 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
|
92 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
|
93 self.pm.screen_manager.transition.direction = 'right' |
|
189b76859110
Profile manager: new profile creation is handled
Goffi <goffi@goffi.org>
parents:
0
diff
changeset
|
94 self.pm.screen_manager.current = 'profiles' |
|
189b76859110
Profile manager: new profile creation is handled
Goffi <goffi@goffi.org>
parents:
0
diff
changeset
|
95 |
|
189b76859110
Profile manager: new profile creation is handled
Goffi <goffi@goffi.org>
parents:
0
diff
changeset
|
96 def doCreate(self): |
|
189b76859110
Profile manager: new profile creation is handled
Goffi <goffi@goffi.org>
parents:
0
diff
changeset
|
97 name = self.profile_name.text.strip() |
|
189b76859110
Profile manager: new profile creation is handled
Goffi <goffi@goffi.org>
parents:
0
diff
changeset
|
98 # 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
|
99 # 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
|
100 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
|
101 |
|
189b76859110
Profile manager: new profile creation is handled
Goffi <goffi@goffi.org>
parents:
0
diff
changeset
|
102 |
|
2
8f9ed634a5eb
Profile manager: profile(s) deletion is handled
Goffi <goffi@goffi.org>
parents:
1
diff
changeset
|
103 class DeleteProfilesScreen(Screen): |
|
8f9ed634a5eb
Profile manager: profile(s) deletion is handled
Goffi <goffi@goffi.org>
parents:
1
diff
changeset
|
104 |
|
8f9ed634a5eb
Profile manager: profile(s) deletion is handled
Goffi <goffi@goffi.org>
parents:
1
diff
changeset
|
105 def __init__(self, pm): |
|
8f9ed634a5eb
Profile manager: profile(s) deletion is handled
Goffi <goffi@goffi.org>
parents:
1
diff
changeset
|
106 self.pm = pm |
|
8f9ed634a5eb
Profile manager: profile(s) deletion is handled
Goffi <goffi@goffi.org>
parents:
1
diff
changeset
|
107 self.host = pm.host |
|
8f9ed634a5eb
Profile manager: profile(s) deletion is handled
Goffi <goffi@goffi.org>
parents:
1
diff
changeset
|
108 super(DeleteProfilesScreen, self).__init__(name=u'delete_profiles') |
|
8f9ed634a5eb
Profile manager: profile(s) deletion is handled
Goffi <goffi@goffi.org>
parents:
1
diff
changeset
|
109 |
|
8f9ed634a5eb
Profile manager: profile(s) deletion is handled
Goffi <goffi@goffi.org>
parents:
1
diff
changeset
|
110 def doDelete(self): |
|
8f9ed634a5eb
Profile manager: profile(s) deletion is handled
Goffi <goffi@goffi.org>
parents:
1
diff
changeset
|
111 """This method will delete *ALL* selected profiles""" |
|
8f9ed634a5eb
Profile manager: profile(s) deletion is handled
Goffi <goffi@goffi.org>
parents:
1
diff
changeset
|
112 to_delete = len(self.pm.profiles_screen.list_adapter.selection) |
|
8f9ed634a5eb
Profile manager: profile(s) deletion is handled
Goffi <goffi@goffi.org>
parents:
1
diff
changeset
|
113 deleted = [0] |
|
8f9ed634a5eb
Profile manager: profile(s) deletion is handled
Goffi <goffi@goffi.org>
parents:
1
diff
changeset
|
114 |
|
8f9ed634a5eb
Profile manager: profile(s) deletion is handled
Goffi <goffi@goffi.org>
parents:
1
diff
changeset
|
115 def deleteInc(): |
|
8f9ed634a5eb
Profile manager: profile(s) deletion is handled
Goffi <goffi@goffi.org>
parents:
1
diff
changeset
|
116 deleted[0] += 1 |
|
8f9ed634a5eb
Profile manager: profile(s) deletion is handled
Goffi <goffi@goffi.org>
parents:
1
diff
changeset
|
117 if deleted[0] == to_delete: |
|
8f9ed634a5eb
Profile manager: profile(s) deletion is handled
Goffi <goffi@goffi.org>
parents:
1
diff
changeset
|
118 self.pm.profiles_screen.reload() |
|
8f9ed634a5eb
Profile manager: profile(s) deletion is handled
Goffi <goffi@goffi.org>
parents:
1
diff
changeset
|
119 self.pm.screen_manager.transition.direction = 'right' |
|
8f9ed634a5eb
Profile manager: profile(s) deletion is handled
Goffi <goffi@goffi.org>
parents:
1
diff
changeset
|
120 self.pm.screen_manager.current = 'profiles' |
|
8f9ed634a5eb
Profile manager: profile(s) deletion is handled
Goffi <goffi@goffi.org>
parents:
1
diff
changeset
|
121 |
|
8f9ed634a5eb
Profile manager: profile(s) deletion is handled
Goffi <goffi@goffi.org>
parents:
1
diff
changeset
|
122 for profile_item in self.pm.profiles_screen.list_adapter.selection: |
|
8f9ed634a5eb
Profile manager: profile(s) deletion is handled
Goffi <goffi@goffi.org>
parents:
1
diff
changeset
|
123 profile = profile_item.text |
|
8f9ed634a5eb
Profile manager: profile(s) deletion is handled
Goffi <goffi@goffi.org>
parents:
1
diff
changeset
|
124 log.info(u"Deleteing profile [{}]".format(profile)) |
|
8f9ed634a5eb
Profile manager: profile(s) deletion is handled
Goffi <goffi@goffi.org>
parents:
1
diff
changeset
|
125 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
|
126 |
|
8f9ed634a5eb
Profile manager: profile(s) deletion is handled
Goffi <goffi@goffi.org>
parents:
1
diff
changeset
|
127 |
|
1
189b76859110
Profile manager: new profile creation is handled
Goffi <goffi@goffi.org>
parents:
0
diff
changeset
|
128 class ProfilesScreen(Screen): |
|
189b76859110
Profile manager: new profile creation is handled
Goffi <goffi@goffi.org>
parents:
0
diff
changeset
|
129 layout = properties.ObjectProperty(None) |
|
189b76859110
Profile manager: new profile creation is handled
Goffi <goffi@goffi.org>
parents:
0
diff
changeset
|
130 |
|
189b76859110
Profile manager: new profile creation is handled
Goffi <goffi@goffi.org>
parents:
0
diff
changeset
|
131 def __init__(self, pm): |
|
189b76859110
Profile manager: new profile creation is handled
Goffi <goffi@goffi.org>
parents:
0
diff
changeset
|
132 self.pm = pm |
| 0 | 133 profiles = pm.host.bridge.getProfilesList() |
| 134 profiles.sort() | |
|
1
189b76859110
Profile manager: new profile creation is handled
Goffi <goffi@goffi.org>
parents:
0
diff
changeset
|
135 self.list_adapter = ProfileListAdapter(pm, |
|
189b76859110
Profile manager: new profile creation is handled
Goffi <goffi@goffi.org>
parents:
0
diff
changeset
|
136 data=profiles, |
|
189b76859110
Profile manager: new profile creation is handled
Goffi <goffi@goffi.org>
parents:
0
diff
changeset
|
137 cls=ProfileItem, |
|
189b76859110
Profile manager: new profile creation is handled
Goffi <goffi@goffi.org>
parents:
0
diff
changeset
|
138 selection_mode='multiple', |
|
189b76859110
Profile manager: new profile creation is handled
Goffi <goffi@goffi.org>
parents:
0
diff
changeset
|
139 allow_empty_selection=True, |
|
189b76859110
Profile manager: new profile creation is handled
Goffi <goffi@goffi.org>
parents:
0
diff
changeset
|
140 ) |
|
2
8f9ed634a5eb
Profile manager: profile(s) deletion is handled
Goffi <goffi@goffi.org>
parents:
1
diff
changeset
|
141 super(ProfilesScreen, self).__init__(name=u'profiles') |
|
1
189b76859110
Profile manager: new profile creation is handled
Goffi <goffi@goffi.org>
parents:
0
diff
changeset
|
142 self.layout.add_widget(listview.ListView(adapter=self.list_adapter)) |
| 0 | 143 connect_btn = ConnectButton() |
| 144 self.layout.add_widget(connect_btn) | |
| 145 | |
|
1
189b76859110
Profile manager: new profile creation is handled
Goffi <goffi@goffi.org>
parents:
0
diff
changeset
|
146 def reload(self): |
|
189b76859110
Profile manager: new profile creation is handled
Goffi <goffi@goffi.org>
parents:
0
diff
changeset
|
147 """Reload profiles list""" |
|
189b76859110
Profile manager: new profile creation is handled
Goffi <goffi@goffi.org>
parents:
0
diff
changeset
|
148 profiles = self.pm.host.bridge.getProfilesList() |
|
189b76859110
Profile manager: new profile creation is handled
Goffi <goffi@goffi.org>
parents:
0
diff
changeset
|
149 profiles.sort() |
|
189b76859110
Profile manager: new profile creation is handled
Goffi <goffi@goffi.org>
parents:
0
diff
changeset
|
150 self.list_adapter.data = profiles |
|
189b76859110
Profile manager: new profile creation is handled
Goffi <goffi@goffi.org>
parents:
0
diff
changeset
|
151 |
| 0 | 152 |
| 153 class ProfileManager(QuickProfileManager, BoxLayout): | |
| 154 | |
| 155 def __init__(self, host, autoconnect=None): | |
| 156 QuickProfileManager.__init__(self, host, autoconnect) | |
| 157 BoxLayout.__init__(self, orientation="vertical") | |
| 158 self.screen_manager = ScreenManager() | |
|
1
189b76859110
Profile manager: new profile creation is handled
Goffi <goffi@goffi.org>
parents:
0
diff
changeset
|
159 self.profiles_screen = ProfilesScreen(self) |
|
189b76859110
Profile manager: new profile creation is handled
Goffi <goffi@goffi.org>
parents:
0
diff
changeset
|
160 self.new_profile_screen = NewProfileScreen(self) |
|
2
8f9ed634a5eb
Profile manager: profile(s) deletion is handled
Goffi <goffi@goffi.org>
parents:
1
diff
changeset
|
161 self.delete_profiles_screen = DeleteProfilesScreen(self) |
| 0 | 162 self.xmlui_screen = Screen(name=u'xmlui') |
| 163 self.screen_manager.add_widget(self.profiles_screen) | |
| 164 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
|
165 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
|
166 self.screen_manager.add_widget(self.delete_profiles_screen) |
| 0 | 167 self.add_widget(self.screen_manager) |
| 168 |