extra_width option for match_selection and match_brackets

[markusgritsch]

Currently the line surrounding other occurrences of the currently selected text and the underline indicating matching brackets is just 1 pixel thick, and not easily spotted.

Like there is a caret_extra_width option, it would be nice if there would be similar settings to increase the with of those thin lines.

[markusgritsch]

Build 3158 added a color scheme option for selection border width, which also controls the width of other occurences of the currently selected text.

[ghost]

Does it include the width of match_brackets? If so, this is a fixed issue...

[markusgritsch]

Well, since the width of bracket underlines is not affected by this, I would not have set this bug to fixed. But since I don't use bracket underlining anymore I don't care.

[FichteFoll]

Oh, sorry, I misread and didn't verify myself either. Do you retract your request then or should I reopen? I mean, this is a reasonable request but not if nobody is using it.

[markusgritsch]

As already mentioned, I'm fine with it.