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

Various editor fixes #4113

Merged
merged 6 commits into from Feb 13, 2016

Conversation

Projects
None yet
2 participants
@JakubValtar
Contributor

JakubValtar commented Nov 8, 2015

Fixes to some index out of bounds exceptions I encountered in editor plus tooltip enhancements.

Fixes #3940
Might get rid of #3286
Fixes #1940

benfry added a commit that referenced this pull request Feb 13, 2016

@benfry benfry merged commit 0a5cb1d into processing:master Feb 13, 2016

@JakubValtar JakubValtar deleted the JakubValtar:various-fixes branch Apr 8, 2016

@GKFX GKFX referenced this pull request Apr 11, 2016

Merged

Fix bracket matching bugs. #4402

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