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
some improves in split assistance and close split
Merge pull request #1591 from diegosarmentero/master

some improves in split assistance and close split
fix combo editor, only close childs with esc
Merge pull request #1592 from diegosarmentero/master

fix combo editor, only close childs with esc
Merge branch 'master' into pylint
Added support to check single files with pylint. The messages of pylint are shown in a separate list in the errors tab on the right.