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.

Sign up for GitHub

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

Jump to bottom

Move "Grid rule editor" to its own widget #2662

Merged

kovidgoyal merged 1 commit into kovidgoyal:master from un-pogaz:lazy-grid-rule-editor

Feb 12, 2025

Contributor

un-pogaz commented Feb 12, 2025

Move also the "Grid rule editor" to its own widget, so that every rule editors use the same logic.


          move "Grid rule editor" to its own widget

56ae718

kovidgoyal merged commit b906db2 into kovidgoyal:master

4 checks passed

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

Labels

None yet