fixing show current symbol, fix update checkers, bookmarks and breakpoints data
Merge pull request #1405 from diegosarmentero/master

fixing show current symbol, fix update checkers, bookmarks and breakpoints data