New settings for editor and fix for undefined behavior

New feature: Ability to hide line numbers (gutter), show/hide print margin and enable/disable active line highlight
Fix for undefined behavior: Ensure valid value of component on server before suggesting