redmunds/brackets-display-shortcuts — pull request #8 by redmunds (2013-06-02 18:14:33+00:00)
Title: Update to use PanelManager

Also, no longer need to keep track of height -- Resizer added that functionality a long time ago.

Switch to use zebra-striped table coloring.