Properly clear EditorStatus.message with empty() by aj-m · Pull Request #1172 · processing/processing4
processing / processing4 Public
-
-
Notifications
You must be signed in to change notification settings - Fork 170
Merged
Merged
Conversation
aj-m
commented
Jul 10, 2025
aj-m
commented
Contributor
Partially resolves #1167 - EditorStatus.message no longer gets set to a string of spaces when cleared, which caused some UI bugs.
Partially resolves processing#1167 - EditorStatus.message no longer gets set to a string of spaces when cleared, which caused some UI bugs.
SableRaf
requested a review
from Stefterv
Stefterv
approved these changes
Stefterv
commented
Jul 11, 2025
Stefterv commented
Member
Thanks @aj-m it was fun to see what originally caused this bug!
@all-contributors add @aj-m for code
allcontributors
Bot
mentioned this pull request
allcontributors
Bot
commented
Jul 11, 2025
allcontributors Bot commented
Contributor
I've put up a pull request to add @aj-m! 🎉
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment