This repository was archived by the owner on Apr 2, 2025. It is now read-only.
Add widget effect support for specifying location of text to insert.#234
Merged
gebner merged 2 commits intoleanprover:masterfrom Jan 2, 2021
Merged
Add widget effect support for specifying location of text to insert.#234gebner merged 2 commits intoleanprover:masterfrom
gebner merged 2 commits intoleanprover:masterfrom
