ninja-ide/ninja-ide — pull request #870 by diegosarmentero (2012-09-23 19:00:21+00:00)
Title: Showing/hiding tabs in the editor area with Shift+F1 shortcut

Showing/hiding tabs in the editor area with Shift+F1 shortcut