質問が言うように、Gtk.main() の進行中にキーボード割り込みが発生するようにしようとしていますが、機能が完了するまでキーボード割り込みが発生していることに気付かないようです。
そこで、Gtk.main() を別のスレッドに貼り付けて、メイン スレッドにキーボードの割り込みを見つけさせ、スレッドを終了させようとしましたが、この記事で説明されているように、Gtk がスレッドでうまく動作しないことがわかりました。
キーボード割り込みを機能させる他の方法は考えられません。これは可能ですか?
私はpython3を使用していますが、私のプログラムを最終的にクロスプラットフォームにしたいと考えています。