diff options
author | Bram | 2022-02-23 03:46:12 +0000 |
---|---|---|
committer | GitHub | 2022-02-23 03:46:12 +0000 |
commit | 40eb1268c72b60f1249389c58892e7c45d268cff (patch) | |
tree | 84f741c7067547b4af3e6b0a867c10639d00ede8 /runtime/queries/iex | |
parent | e1a92fd3998aca2a313d4cbf0aca3157eca0b53f (diff) |
Close some popups automatically (#1285)
* Add Event::Used to use event callback without consuming
* Close popup if contents ignored event
* collect event results before executing callbacks
* don't add new result variant, use Ignored(..) instead
* break in match cases
* Make auto_close configurable
* fix merge
* auto close hover popups
* fix formatting
Diffstat (limited to 'runtime/queries/iex')
0 files changed, 0 insertions, 0 deletions