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

live-preview: Bring back the JSON editor till the table works! #7821

Merged
merged 1 commit into from
Mar 7, 2025

Conversation

hunger
Copy link
Member

@hunger hunger commented Mar 7, 2025

I accidentally disabled the JSON editor for "table-like" elements. Bring it back for now.

I accidentally disabled the JSON editor for "table-like" elements.
Bring it back for now.
@hunger
Copy link
Member Author

hunger commented Mar 7, 2025

It's awkwardly coded so that I can grep for true/false in if when it is time to remove this again:-)

@hunger hunger merged commit f6f8d92 into slint-ui:master Mar 7, 2025
38 checks passed
@hunger hunger deleted the tobias/push-xwuzukxwvszn branch March 7, 2025 13:58
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