reuse objects.mixin in editor.js
tweak editor local settings settings label size (more room)
[Bug 413923] remove nonexistent/unused event from ast.js
[Projects] Project Editor - make basic properties editable
animate splitter instead of hiding it when opening/closing side bar (Ctrl+O)
hide splitter thumb overflow when it does not fit. Make search page vertical splitter toggleable and update its CSS (width and background)
fix edit.js auto pair settings
save whole file after an error has happened while saving
Bug 416336 - Create Generic Editor (add Saving event to InputManager in order to move trim trailing white space from inputManager.js to editorView.js)