You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Would you be able to consider changing the line number gutter background color to a darker one so it blends in better with the editor background color?
Same for the background color of selected text. It shows strong blue. However please disregard my proposal if this color was indeed picked intentionally.
Thanks for this great plugin!
The text was updated successfully, but these errors were encountered:
The upcoming release 1.4.0 will include a lineHighlight colour, which blends better with gutter "symbol" extensions as well as works better if '"highlight_line": true' is used in the preferences.
Would you be able to consider changing the line number gutter background color to a darker one so it blends in better with the editor background color?
Same for the background color of selected text. It shows strong blue. However please disregard my proposal if this color was indeed picked intentionally.
Thanks for this great plugin!
The text was updated successfully, but these errors were encountered: