PARTIAL Adding Show/Hide Tabs and Spaces to View menu
Merge branch 'master' of https://github.com/ninja-ide/ninja-ide
Moving setting changing code from tools_dock to main_container
Adding Show/Hide Tabs and Spaces to View menu
Merge pull request #1536 from Siecje/master

Adding Show/Hide Tabs and Spaces to View menu