Jazzee/Jazzee — pull request #247 by jrjohnson (2013-09-19 22:47:05+00:00)
Title: 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.