4 Commits

Author	SHA1	Message	Date
Matthew Hodgson	fb5f8294c8	switch to namespaced CSS	2016-08-28 00:00:10 +01:00
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