ninja-ide/ninja-ide — pull request #1078 by malderete (2013-01-21 22:11:00+00:00)
Title: Fixed issue #1070

Fixed issue #1070 (Clean up symbols after last file is closed).

Added keyboard navigation to symbols explorer, now it allows to navigate
with cursors keys and when Enter is pressed go to definition (no more
click needed)