Merge pull request #1 from ahn/master

Pull from master
Merge pull request #2 from ahn/master

Merge upstream
Ability to hide line numbers (gutter), show/hide print margin and enable/disable active line highlight
Ensure valid value of component on server before suggesting
Merge pull request #18 from Haulmont/master

New settings for editor and fix for undefined behavior