Набросал скрипт, который исправляет проблему с горячей клавишей <F10> для gtk-2.0 и gtk-3.0.
Как работает:
распаковываем архив в любой папке домашнего каталога и запускаем скрипт с правами текущего пользователя:
tar -xzf fixF10.tar.gz && /bin/sh fixF10.sh
Пользуйтесь, если кому-то ещё нужно.