Posted 19 years ago
by Karl Grambow
Hi,
Is it possible to adjust the boldness of the BracketHighlight? I tend to use BracketHighlighting with the border set to transparent so I rely on just the color but it would be nice to have the highlighted bracket stick out a little more if it could be made bold.
If there is no such property, perhaps one could be added? Something like BracketHighlightBold = true|false
Thanks,
Karl
Is it possible to adjust the boldness of the BracketHighlight? I tend to use BracketHighlighting with the border set to transparent so I rely on just the color but it would be nice to have the highlighted bracket stick out a little more if it could be made bold.
If there is no such property, perhaps one could be added? Something like BracketHighlightBold = true|false
Thanks,
Karl