plugins/omni-gutter: Make line selection styling optional
Solves #2221 (closed)
Wasn't really sure what to call this so I just went with "Use line selection styling". I'm fine with changing this to whatever.
Solves #2221 (closed)
Wasn't really sure what to call this so I just went with "Use line selection styling". I'm fine with changing this to whatever.