Kerry 0be622e7f0 Device manager - other sessions list (PSG-637) (#9155) ...

* add session manager tab to user settings

* fussy import ordering

* i18n

* basic sorted list outline

* rename to filtered device list

* exclude current device session from other sessions list

* test other sessions section

2022-08-11 09:45:35 +00:00

..

structures

use stable reference for active tab in tabbedView (#9145)

2022-08-08 14:28:02 +02:00

views

Device manager - other sessions list (PSG-637) (#9155)

2022-08-11 09:45:35 +00:00