Jika/element-web
1
0
Fork 0
Code Issues Pull Requests Projects Wiki Activity

Add a devtool for looking at users and their devices (#30983)

Browse Source 
* add devtool for viewing users and their devices

* show number of devices

* apply changes from review

* Fix typo

Co-authored-by: Richard van der Hoff <1389908+richvdh@users.noreply.github.com>

---------

Co-authored-by: Richard van der Hoff <1389908+richvdh@users.noreply.github.com>
This commit is contained in:
Hubert Chathi
2025-10-28 16:18:10 -04:00
committed by GitHub
parent 5888dfd29d
commit b7db85146f
8 changed files with 1211 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
res/css/views/rooms/_E2EIcon.pcss
View File

@@ -13,6 +13,10 @@ Please see LICENSE files in the repository root for full details.
display: block;
}
.mx_E2EIcon.mx_E2EIcon_inline {
display: inline-block;
}
.mx_E2EIcon_warning,
.mx_E2EIcon_normal,
.mx_E2EIcon_verified {