WPI-Suite/wpi-suite — pull request #100 by zparnold (2014-05-04 02:04:29+00:00)
Title: Dev enter key

This pull request edits the OverviewTreePanel and adds "enter" key selection to the interface.