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 /.gitmodules | |
| 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 '.gitmodules')
0 files changed, 0 insertions, 0 deletions