aboutsummaryrefslogtreecommitdiffhomepage
path: root/share/tools
diff options
context:
space:
mode:
authorGravatar David Adam <zanchey@ucc.gu.uwa.edu.au>2015-01-30 16:01:25 +0800
committerGravatar David Adam <zanchey@ucc.gu.uwa.edu.au>2015-01-30 16:01:25 +0800
commit028d9e8e3bfb896743b6eac698e0a2efad3186ae (patch)
tree18ce6ffafd78e13acbe83d2da725f094f8c59ce4 /share/tools
parent53a4814d8b0481e4b6e6b3ccac69c7f002d9f8a1 (diff)
default key bindings: ignore FocusIn/FocusOut control sequences
Closes #1917.
Diffstat (limited to 'share/tools')
0 files changed, 0 insertions, 0 deletions