preferences_editor_configuration translated
Merge pull request #1532 from diegosarmentero/master

preferences_editor_configuration translated
preferences editor general translated
Merge pull request #1533 from diegosarmentero/master

preferences editor general translated
adding editor completion configuration and shortcuts
Merge pull request #1534 from diegosarmentero/master

adding editor completion configuration and shortcuts