Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Disable hiding of selection inside focused widgets
FIX: Don't hide the native selection in widgets that have focus. See https://discuss.codemirror.net/t/inability-to-use-selector-with-an-input-widget-when-using-the-drawselection-plugin/8182
- Loading branch information