Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Theming: Allow to change the colour of warning/error squiggles (fixes #9819) #27053

Merged
merged 1 commit into from May 22, 2017

Conversation

bpasero
Copy link
Member

@bpasero bpasero commented May 22, 2017

Using our good old --webkit-mask trick.

@aeschli
Copy link
Contributor

aeschli commented May 22, 2017

Cool!

@aeschli aeschli merged commit b958ec2 into master May 22, 2017
@aeschli aeschli added this to the May 2017 milestone May 22, 2017
@aeschli aeschli added themes Color theme issues feature-request Request for new features or functionality verification-needed Verification of issue is requested labels May 22, 2017
@bpasero bpasero deleted the ben/9819 branch May 22, 2017 09:50
@github-actions github-actions bot locked and limited conversation to collaborators Mar 27, 2020
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
feature-request Request for new features or functionality themes Color theme issues verification-needed Verification of issue is requested
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

3 participants