Hiding explorer panel if there isn't anything to show
Merge pull request #1081 from diegosarmentero/master

Hiding explorer panel if there isn't anything to show