ninja-ide/ninja-ide — pull request #1405 by diegosarmentero (2013-10-27 11:40:58+00:00)
Title: fixing show current symbol, fix update checkers, bookmarks and breakpoints data

...ts data