diff options
| author | Markus Sauermann <6299227+Sauermann@users.noreply.github.com> | 2022-03-13 23:54:13 +0100 |
|---|---|---|
| committer | Markus Sauermann <6299227+Sauermann@users.noreply.github.com> | 2022-03-14 08:38:48 +0100 |
| commit | 86574b91dd4dfb8931f4810e20096302965d2d30 (patch) | |
| tree | b868dec7335f8aff40b9a837ba56c754a9a3fcbd /thirdparty/pcre2 | |
| parent | 07b10d6d4f340fa4c6237d9557b63c5dadc60890 (diff) | |
Cleanup internal GUI state, if event is accepted in _input.
Diffstat (limited to 'thirdparty/pcre2')
0 files changed, 0 insertions, 0 deletions