Skip to content

Conversation

marcoSven
Copy link

Currently, the gui style of the sign highlight group is hardcoded so that sign defaults to gui=NONE. This prevents you from being able to customize the gui style, such as using bold, underline with the sign style.

This PR adds the ability to control the gui style sign highlight.

…that sign defaults to gui=NONE. This prevents you from being able to customize the gui style, such as using bold,underline with the sign style.

This PR adds the ability to control the gui style sign highlight.
@github-actions
Copy link
Contributor

github-actions bot commented Jul 6, 2024

This PR is stale because it has been open 60 days with no activity.

@github-actions github-actions bot added the stale This issue or PR has been inactive for a while label Jul 6, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

stale This issue or PR has been inactive for a while

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant