Mercurial > libervia-desktop
annotate src/cagou/core/profile_manager.py @ 62:1922506846be
design fixes:
- adjust sizes using sp/dp so it adapts on different screen resolutions
- use a shorter sentence for profile manager label, so it appears better on small screens
- various design adjustment to appear correclty on different screen size
| author | Goffi <goffi@goffi.org> |
|---|---|
| date | Sun, 04 Dec 2016 21:34:30 +0100 |
| parents | 817a45e6d7e3 |
| children | af4f986d86f0 |
| 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__) |
|
56
817a45e6d7e3
core (profile_manager): fixed bad import
Goffi <goffi@goffi.org>
parents:
16
diff
changeset
|
23 from .constants import Const as C |
| 0 | 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 | |
| 62 | 30 from kivy.metrics import sp |
|
1
189b76859110
Profile manager: new profile creation is handled
Goffi <goffi@goffi.org>
parents:
0
diff
changeset
|
31 from kivy import properties |
|
16
ba14b596b90e
host can now be get as a global value:
Goffi <goffi@goffi.org>
parents:
15
diff
changeset
|
32 from cagou import G |
| 0 | 33 |
| 34 | |
| 35 class ProfileItem(listview.ListItemButton): | |
| 36 pass | |
| 37 | |
| 38 | |
| 39 class ProfileListAdapter(listadapter.ListAdapter): | |
| 40 | |
| 41 def __init__(self, pm, *args, **kwargs): | |
| 42 super(ProfileListAdapter, self).__init__(*args, **kwargs) | |
| 43 self.pm = pm | |
| 44 | |
| 45 def closeUI(self, xmlui): | |
| 46 self.pm.screen_manager.transition.direction = 'right' | |
| 47 self.pm.screen_manager.current = 'profiles' | |
| 48 | |
| 49 def showUI(self, xmlui): | |
| 50 xmlui.setCloseCb(self.closeUI) | |
| 51 if xmlui.type == 'popup': | |
| 52 xmlui.bind(on_touch_up=lambda obj, value: self.closeUI(xmlui)) | |
| 53 self.pm.xmlui_screen.clear_widgets() | |
| 54 self.pm.xmlui_screen.add_widget(xmlui) | |
| 55 self.pm.screen_manager.transition.direction = 'left' | |
| 56 self.pm.screen_manager.current = 'xmlui' | |
| 57 | |
| 58 def select_item_view(self, view): | |
| 59 def authenticate_cb(data, cb_id, profile): | |
| 60 if C.bool(data.pop('validated', C.BOOL_FALSE)): | |
| 61 super(ProfileListAdapter, self).select_item_view(view) | |
|
16
ba14b596b90e
host can now be get as a global value:
Goffi <goffi@goffi.org>
parents:
15
diff
changeset
|
62 G.host.actionManager(data, callback=authenticate_cb, ui_show_cb=self.showUI, profile=profile) |
| 0 | 63 |
|
16
ba14b596b90e
host can now be get as a global value:
Goffi <goffi@goffi.org>
parents:
15
diff
changeset
|
64 G.host.launchAction(C.AUTHENTICATE_PROFILE_ID, callback=authenticate_cb, profile=view.text) |
| 0 | 65 |
| 66 | |
| 67 class ConnectButton(Button): | |
|
4
440a743b58ee
Profile manager: Connect button is disabled when no profile is selected
Goffi <goffi@goffi.org>
parents:
2
diff
changeset
|
68 |
|
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
|
69 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
|
70 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
|
71 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
|
72 super(ConnectButton, self).__init__() |
| 0 | 73 |
| 74 | |
|
1
189b76859110
Profile manager: new profile creation is handled
Goffi <goffi@goffi.org>
parents:
0
diff
changeset
|
75 class NewProfileScreen(Screen): |
|
189b76859110
Profile manager: new profile creation is handled
Goffi <goffi@goffi.org>
parents:
0
diff
changeset
|
76 profile_name = properties.ObjectProperty(None) |
|
189b76859110
Profile manager: new profile creation is handled
Goffi <goffi@goffi.org>
parents:
0
diff
changeset
|
77 jid = properties.ObjectProperty(None) |
|
189b76859110
Profile manager: new profile creation is handled
Goffi <goffi@goffi.org>
parents:
0
diff
changeset
|
78 password = properties.ObjectProperty(None) |
|
189b76859110
Profile manager: new profile creation is handled
Goffi <goffi@goffi.org>
parents:
0
diff
changeset
|
79 error_msg = properties.StringProperty('') |
| 0 | 80 |
| 81 def __init__(self, pm): | |
|
1
189b76859110
Profile manager: new profile creation is handled
Goffi <goffi@goffi.org>
parents:
0
diff
changeset
|
82 super(NewProfileScreen, self).__init__(name=u'new_profile') |
|
189b76859110
Profile manager: new profile creation is handled
Goffi <goffi@goffi.org>
parents:
0
diff
changeset
|
83 self.pm = pm |
|
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() |
|
16
ba14b596b90e
host can now be get as a global value:
Goffi <goffi@goffi.org>
parents:
15
diff
changeset
|
91 G.host.bridge.profileStartSession(self.password.text, profile, callback=lambda dummy: self._sessionStarted(profile), errback=self.onCreationFailure) |
|
1
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() |
|
16
ba14b596b90e
host can now be get as a global value:
Goffi <goffi@goffi.org>
parents:
15
diff
changeset
|
95 G.host.bridge.setParam("JabberID", jid, "Connection", -1, profile) |
|
ba14b596b90e
host can now be get as a global value:
Goffi <goffi@goffi.org>
parents:
15
diff
changeset
|
96 G.host.bridge.setParam("Password", self.password.text, "Connection", -1, profile) |
|
1
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 |
|
16
ba14b596b90e
host can now be get as a global value:
Goffi <goffi@goffi.org>
parents:
15
diff
changeset
|
104 G.host.bridge.asyncCreateProfile(name, self.password.text, callback=lambda: self.onCreationSuccess(name), errback=self.onCreationFailure) |
|
1
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 super(DeleteProfilesScreen, self).__init__(name=u'delete_profiles') |
|
8f9ed634a5eb
Profile manager: profile(s) deletion is handled
Goffi <goffi@goffi.org>
parents:
1
diff
changeset
|
112 |
|
8f9ed634a5eb
Profile manager: profile(s) deletion is handled
Goffi <goffi@goffi.org>
parents:
1
diff
changeset
|
113 def doDelete(self): |
|
8f9ed634a5eb
Profile manager: profile(s) deletion is handled
Goffi <goffi@goffi.org>
parents:
1
diff
changeset
|
114 """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
|
115 to_delete = self.pm.getProfiles() |
|
2
8f9ed634a5eb
Profile manager: profile(s) deletion is handled
Goffi <goffi@goffi.org>
parents:
1
diff
changeset
|
116 deleted = [0] |
|
8f9ed634a5eb
Profile manager: profile(s) deletion is handled
Goffi <goffi@goffi.org>
parents:
1
diff
changeset
|
117 |
|
8f9ed634a5eb
Profile manager: profile(s) deletion is handled
Goffi <goffi@goffi.org>
parents:
1
diff
changeset
|
118 def deleteInc(): |
|
8f9ed634a5eb
Profile manager: profile(s) deletion is handled
Goffi <goffi@goffi.org>
parents:
1
diff
changeset
|
119 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
|
120 if deleted[0] == len(to_delete): |
|
2
8f9ed634a5eb
Profile manager: profile(s) deletion is handled
Goffi <goffi@goffi.org>
parents:
1
diff
changeset
|
121 self.pm.profiles_screen.reload() |
|
8f9ed634a5eb
Profile manager: profile(s) deletion is handled
Goffi <goffi@goffi.org>
parents:
1
diff
changeset
|
122 self.pm.screen_manager.transition.direction = 'right' |
|
8f9ed634a5eb
Profile manager: profile(s) deletion is handled
Goffi <goffi@goffi.org>
parents:
1
diff
changeset
|
123 self.pm.screen_manager.current = 'profiles' |
|
8f9ed634a5eb
Profile manager: profile(s) deletion is handled
Goffi <goffi@goffi.org>
parents:
1
diff
changeset
|
124 |
|
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
|
125 for profile in to_delete: |
|
2
8f9ed634a5eb
Profile manager: profile(s) deletion is handled
Goffi <goffi@goffi.org>
parents:
1
diff
changeset
|
126 log.info(u"Deleteing profile [{}]".format(profile)) |
|
16
ba14b596b90e
host can now be get as a global value:
Goffi <goffi@goffi.org>
parents:
15
diff
changeset
|
127 G.host.bridge.asyncDeleteProfile(profile, callback=deleteInc, errback=deleteInc) |
|
2
8f9ed634a5eb
Profile manager: profile(s) deletion is handled
Goffi <goffi@goffi.org>
parents:
1
diff
changeset
|
128 |
|
8f9ed634a5eb
Profile manager: profile(s) deletion is handled
Goffi <goffi@goffi.org>
parents:
1
diff
changeset
|
129 |
|
1
189b76859110
Profile manager: new profile creation is handled
Goffi <goffi@goffi.org>
parents:
0
diff
changeset
|
130 class ProfilesScreen(Screen): |
|
189b76859110
Profile manager: new profile creation is handled
Goffi <goffi@goffi.org>
parents:
0
diff
changeset
|
131 layout = properties.ObjectProperty(None) |
|
189b76859110
Profile manager: new profile creation is handled
Goffi <goffi@goffi.org>
parents:
0
diff
changeset
|
132 |
|
189b76859110
Profile manager: new profile creation is handled
Goffi <goffi@goffi.org>
parents:
0
diff
changeset
|
133 def __init__(self, pm): |
|
189b76859110
Profile manager: new profile creation is handled
Goffi <goffi@goffi.org>
parents:
0
diff
changeset
|
134 self.pm = pm |
|
16
ba14b596b90e
host can now be get as a global value:
Goffi <goffi@goffi.org>
parents:
15
diff
changeset
|
135 profiles = G.host.bridge.getProfilesList() |
| 0 | 136 profiles.sort() |
|
1
189b76859110
Profile manager: new profile creation is handled
Goffi <goffi@goffi.org>
parents:
0
diff
changeset
|
137 self.list_adapter = ProfileListAdapter(pm, |
|
189b76859110
Profile manager: new profile creation is handled
Goffi <goffi@goffi.org>
parents:
0
diff
changeset
|
138 data=profiles, |
|
189b76859110
Profile manager: new profile creation is handled
Goffi <goffi@goffi.org>
parents:
0
diff
changeset
|
139 cls=ProfileItem, |
| 62 | 140 args_converter=self.converter, |
|
1
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 | |
| 62 | 149 def converter(self, row_idx, obj): |
| 150 return {'text': obj, | |
| 151 'size_hint_y': None, | |
| 152 'height': sp(40)} | |
| 153 | |
|
1
189b76859110
Profile manager: new profile creation is handled
Goffi <goffi@goffi.org>
parents:
0
diff
changeset
|
154 def reload(self): |
|
189b76859110
Profile manager: new profile creation is handled
Goffi <goffi@goffi.org>
parents:
0
diff
changeset
|
155 """Reload profiles list""" |
|
16
ba14b596b90e
host can now be get as a global value:
Goffi <goffi@goffi.org>
parents:
15
diff
changeset
|
156 profiles = G.host.bridge.getProfilesList() |
|
1
189b76859110
Profile manager: new profile creation is handled
Goffi <goffi@goffi.org>
parents:
0
diff
changeset
|
157 profiles.sort() |
|
189b76859110
Profile manager: new profile creation is handled
Goffi <goffi@goffi.org>
parents:
0
diff
changeset
|
158 self.list_adapter.data = profiles |
|
189b76859110
Profile manager: new profile creation is handled
Goffi <goffi@goffi.org>
parents:
0
diff
changeset
|
159 |
| 0 | 160 |
| 161 class ProfileManager(QuickProfileManager, BoxLayout): | |
| 162 | |
|
16
ba14b596b90e
host can now be get as a global value:
Goffi <goffi@goffi.org>
parents:
15
diff
changeset
|
163 def __init__(self, autoconnect=None): |
|
ba14b596b90e
host can now be get as a global value:
Goffi <goffi@goffi.org>
parents:
15
diff
changeset
|
164 QuickProfileManager.__init__(self, G.host, autoconnect) |
| 0 | 165 BoxLayout.__init__(self, orientation="vertical") |
| 166 self.screen_manager = ScreenManager() | |
|
1
189b76859110
Profile manager: new profile creation is handled
Goffi <goffi@goffi.org>
parents:
0
diff
changeset
|
167 self.profiles_screen = ProfilesScreen(self) |
|
189b76859110
Profile manager: new profile creation is handled
Goffi <goffi@goffi.org>
parents:
0
diff
changeset
|
168 self.new_profile_screen = NewProfileScreen(self) |
|
2
8f9ed634a5eb
Profile manager: profile(s) deletion is handled
Goffi <goffi@goffi.org>
parents:
1
diff
changeset
|
169 self.delete_profiles_screen = DeleteProfilesScreen(self) |
| 0 | 170 self.xmlui_screen = Screen(name=u'xmlui') |
| 171 self.screen_manager.add_widget(self.profiles_screen) | |
| 172 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
|
173 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
|
174 self.screen_manager.add_widget(self.delete_profiles_screen) |
| 0 | 175 self.add_widget(self.screen_manager) |
| 176 | |
|
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
|
177 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
|
178 return [pi.text for pi in self.profiles_screen.list_adapter.selection] |