diff options
| author | Pedro J. Estébanez <pedrojrulez@gmail.com> | 2017-07-10 17:37:28 +0200 |
|---|---|---|
| committer | Pedro J. Estébanez <pedrojrulez@gmail.com> | 2017-07-10 17:48:57 +0200 |
| commit | c061044d7875f1c7a717fddbf03cab5a822e7d35 (patch) | |
| tree | c7ae81d1ccb698c7d3a519eddb278dd7d26d47a1 /thirdparty/tinyexr | |
| parent | 444354b51f8f9a3be9805d137f890302c02de0db (diff) | |
Fix picking list flood while mouse capture enabled
Fixes #9575.
Diffstat (limited to 'thirdparty/tinyexr')
0 files changed, 0 insertions, 0 deletions