diff options
author | Daniel Lange <DLange@git.local> | 2024-03-13 15:14:43 +0100 |
---|---|---|
committer | BenBE <BenBE@geshi.org> | 2024-03-14 20:34:47 +0100 |
commit | 05c7d4fc204e8e6aa3e0e302833f187547ef18bc (patch) | |
tree | 2a7d69a1a5480f500072b1875caa2cbcdc793005 /.github | |
parent | 53bd369be760aaeb5e28cb965e9edcfb3f232d92 (diff) |
Ignore FOCUS_IN and FOCUS_OUT events if these have been activated within xterm
Closes: #1410
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions