Allow user to customise gutter representation #4
Description
Provide behaviour for user to be able to toggle the lint gutter for specific editors.
{{ message }}
Provide behaviour for user to be able to toggle the lint gutter for specific editors.