ninja-ide/ninja-ide — pull request #718 by diegosarmentero (2012-07-09 00:02:53+00:00)
Title: fixing show navigation

fixing show navigation