mirrors/element-web
1
0
Fork 0
mirror of https://github.com/vector-im/element-web.git synced 2025-08-22 23:11:12 +02:00
Code Issues Projects Releases Wiki Activity
2,205 Commits 292 Branches 603 Tags
Commit Graph

3 Commits

Author SHA1 Message Date
Richard van der Hoff
55a28564b9 Add device_id to devices display 
(it turns out to be quite useful)
 2016-08-11 16:24:09 +01:00
Richard van der Hoff
f4d41b7847 DevicesPanel: use device_id as a placeholder 
A device may have no display_name set, in which case we probably want to use
the device_id as a placeholder.
 2016-08-03 14:19:54 +01:00
Richard van der Hoff
c071bc54f9 Implement device management UI 
View/rename/delete.
 2016-08-01 13:42:29 +01:00