]> gitweb.factorcode.org Git - factor.git/commit
ui.backend.gtk: don't let input-methods steal key-presses.
authorJohn Benediktsson <mrjbq7@gmail.com>
Sat, 6 Jun 2020 23:09:15 +0000 (16:09 -0700)
committerJohn Benediktsson <mrjbq7@gmail.com>
Sat, 6 Jun 2020 23:09:15 +0000 (16:09 -0700)
commita9ad206edc972313c6ff8c0f439c50826fea83f6
tree40beb7f6505a571cf84ee7749451d5882941ee89
parent9c3908e003c0aa2fb04e5e7c25a8a372a7fe2245
ui.backend.gtk: don't let input-methods steal key-presses.
basis/ui/backend/gtk/gtk.factor