ninja-ide/ninja-ide — pull request #1081 by diegosarmentero (2013-01-24 22:55:46+00:00)
Title: Hiding explorer panel if there isn't anything to show

Hiding explorer panel if there isn't anything to show