Show/hide explorer tabs
Merge pull request #1761 from diegosarmentero/master

Show/hide explorer tabs