diff options
author | RĂ©mi Verschelde <rverschelde@gmail.com> | 2020-07-02 07:22:05 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-07-02 07:22:05 +0200 |
commit | 2da65347a0034d439e6d90b734517998ee011fc4 (patch) | |
tree | 5f3176229d9fd28d46498622eafd6ed98ec36036 /platform/javascript/display_server_javascript.h | |
parent | b11da7b703931b0ade8181c5bae5e4b0a1c0b4d7 (diff) | |
parent | 0b7bc83fe3b110b0650f3285d92a7fb3b9816df1 (diff) |
Merge pull request #40030 from reduz/timeout-for-focusout-x11
Add a focus out timeout for X11 so less events of this type are received
Diffstat (limited to 'platform/javascript/display_server_javascript.h')
0 files changed, 0 insertions, 0 deletions