Windows 環境で Gravi と AutoHot Key 併用されてる方いらっしゃいますか？
どうも相性が悪いようで、Ctrl が時々ロックされてしまうような挙動になります

AutoHot Key 側ではキーボードのカスタマイズだけで、トラックボール(マウス)関連の設定は追加していません