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

Update Checkbox label by recreating the Checkbox. #15

Merged
merged 1 commit into from
Oct 25, 2020
Merged

Update Checkbox label by recreating the Checkbox. #15

merged 1 commit into from
Oct 25, 2020

Conversation

luleyleo
Copy link
Collaborator

This works for now, but it's not pretty. linebender/druid#1346 would make this nicer.

@luleyleo luleyleo merged commit 3ef3894 into raphlinus:master Oct 25, 2020
@luleyleo luleyleo deleted the checkbox-update-label branch October 30, 2020 07:43
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant