Changed paths:
M ninja_ide/core/settings.py
M ninja_ide/gui/dialogs/preferences/preferences_editor_configuration.py
M ninja_ide/gui/editor/editor.py
M ninja_ide/translations.py
Changed paths:
M ninja_ide/core/settings.py
M ninja_ide/gui/dialogs/preferences/preferences_editor_configuration.py
M ninja_ide/gui/editor/editor.py
M ninja_ide/translations.py
Log Message:
-----------
Merge pull request #1892 from diegosarmentero/master