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

..

ChangeAvatar.js

show vaguely accurate default avatar

2016-02-15 22:01:22 +02:00

ChangeDisplayName.js

Factor EditableTextContainer out of ChangeDisplayName

2016-07-29 17:40:13 +01:00

ChangePassword.js

update copyright for 2016

2016-01-07 04:06:52 +00:00

DevicesPanel.js

Implement device management UI

2016-08-01 13:42:29 +01:00

DevicesPanelEntry.js

DevicesPanel: use device_id as a placeholder

2016-08-03 14:19:54 +01:00

EnableNotificationsButton.js

update copyright for 2016

2016-01-07 04:06:52 +00:00