PARTIAL Adding Show/Hide Tabs and Spaces to View menu
Merge pull request #1587 from diegosarmentero/master

Undock Editor
Merge pull request #1588 from diegosarmentero/master

fixing garbage collector issue for undock editor
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
Merge pull request #1591 from diegosarmentero/master

some improves in split assistance and close split
Merge pull request #1592 from diegosarmentero/master

fix combo editor, only close childs with esc
Fix for #1582, Added Translations, Add Missing DocStrings
Update README.md
Update README.md
Changed English grammar in one of the checker classes
Merge pull request #1601 from ThreeToes/master

Changed English grammar in the migration_2to3 checker class
Fix for #1609
Merge pull request #1597 from juancarlospaco/fix/translations

Fix for #1582, Added Translations, Add Missing DocStrings
Merge pull request #1612 from juancarlospaco/fix/toolbar

Fix for #1609
Fix for #1605
Merge pull request #1613 from juancarlospaco/fix/console

Fix for #1605
Fix for #1567