Device manager - select all devices (#9330)

* add device selection that does nothing

* multi select and sign out of sessions

* test multiple selection

* fix type after rebase

* select all sessions
This commit is contained in:
Kerry 2022-10-04 10:12:07 +02:00 committed by GitHub
parent 0ded5e0505
commit c59bbdf917
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
7 changed files with 267 additions and 5 deletions

View file

@ -25,7 +25,7 @@ limitations under the License.
display: grid;
grid-gap: $spacing-16;
margin: 0;
padding: 0 $spacing-8;
padding: 0 $spacing-16;
}
.mx_FilteredDeviceList_listItem {