Improve display manager
Allow display manager elements to be renamed.
Allow elements to be deleted from the chooser.
Give information about original name and page.
Fix UI quirks.
Fix element ordering in chooser when sorting or new elements are added.
Improve display manager
Allow display manager elements to be renamed.
Allow elements to be deleted from the chooser.
Give information about original name and page.
Fix UI quirks.
Fix element ordering in chooser when sorting or new elements are added.
Fix conflicts between pull requests
Conflicts:
	src/scripts/classes/DisplayManager.class.js
Merge pull request #247 from jrjohnson/renameelement

Improve display manager