Merge pull request #452 from diegosarmentero/master

Improves in performance for opening and saving files.
Some minor fixes in highlighter
Merge pull request #453 from diegosarmentero/master

Some minor fixes in highlighter
Supporting files without know syntax.
Merge pull request #455 from diegosarmentero/master

Fixed Issue #454
prueba
Merge pull request #455 from diegosarmentero/master

Fixed Issue #454
Syntax highlighting for shell files

This is somewhat imperfect but working syntax highlighting for shell.
Much better than editing monochromatic text...
Merge pull request #462 from alekibango/master

shell highlighting
Merge branch 'master' of https://github.com/ninja-ide/ninja-ide
Adding get editor schemes operation to thread.
Allowing to activate and deactivate code completion.
Adding Theme Designer.
Changing back default value of code completion setting.
Merge pull request #471 from diegosarmentero/is

Improves in Preferences and Code Completion
Merge github.com:ninja-ide/ninja-ide into alternative_highight
Fixing some bugs in the console widget
Merge pull request #474 from diegosarmentero/is

Fixing some bugs in the console widget
Fixed Issue #475
Merge pull request #476 from diegosarmentero/master

Fixed Issue #475
Fixed Issue #468