PARTIAL Adding Show/Hide Tabs and Spaces to View menu
Ninja IDE needed more ninja menues.
Merge pull request #1563 from pedromagnus/theninjamenu

Ninja IDE needed more ninja menues.
Adds some tag to html syntax
Merge pull request #1566 from LuqueDaniel/working

Adds some tags to html syntax
improve theme
Merge pull request #1570 from diegosarmentero/master

improve theme
watcher for opened files
Merge pull request #1571 from diegosarmentero/master

watcher for opened files
fixing critical bug on malformed action
Merge pull request #1572 from diegosarmentero/master

fixing critical bug on malformed action
Fixes #1420
Merge pull request #1573 from diegosarmentero/master

Fixes #1420
multiple splits working! :D
Merge pull request #1574 from diegosarmentero/master

multiple splits working! :D
improve splitter default sizes
Merge pull request #1575 from diegosarmentero/master

improve splitter default sizes
improves in opening file from another split
Merge pull request #1576 from diegosarmentero/master

improves in opening file from another split
some improves in split icon and menu access