diff options
| author | Pedro J. Estébanez <pedrojrulez@gmail.com> | 2022-03-13 12:43:32 +0100 |
|---|---|---|
| committer | Pedro J. Estébanez <pedrojrulez@gmail.com> | 2022-03-13 12:45:32 +0100 |
| commit | d083fb21c75fadfc36ffa81d91994dc6b82a7549 (patch) | |
| tree | 0b7027ffb8042c47da5d9eace80f742995a3e290 /thirdparty/pcre2 | |
| parent | 7df288f7851bd23e81231c9dacd6921c998962e1 (diff) | |
Drop mouse focus and over when gui input is globally disabled
Diffstat (limited to 'thirdparty/pcre2')
0 files changed, 0 insertions, 0 deletions