ninja-ide/ninja-ide — pull request #33 by diegosarmentero (2011-11-05 03:51:58+00:00)
Title: Breakpoints and Bookmarks navigation fixed, Hide state of toolbar when closed with hide_all fixed

Breakpoints and Bookmarks navigation fixed, Hide state of toolbar when closed with hide_all fixed