Multiline wiggly underlines #3848

merged 1 commit into from Sep 22, 2015


None yet
2 participants

JakubValtar commented Sep 22, 2015

with handy tooltips

fixes #3759

Multiline wiggly underlines
with handy tooltips

benfry added a commit that referenced this pull request Sep 22, 2015

@benfry benfry merged commit ce273f5 into processing:master Sep 22, 2015

@JakubValtar JakubValtar deleted the JakubValtar:multiline-wiggly-underlines branch Sep 22, 2015

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment