Coqideキーバインディングのバグ

Question

私は最近、私はつまり、CoqIDEを使用しながら、生じたいくつかの奇妙な状況に持ってきた...奇妙な問題のビットを持ってる（？）：

1. 私はできませんウィンドウ/スーパーキーを押さずに文字 "v"を入力してください。

2. 複数のウィンドウが開いている場合、バックスペースを押すと前のタブにフォーカスが移動しますが、そのオブジェクトを削除することはできません。 CTRL +バックスペースはチャンクを削除するために機能します。

私はキーマップをUSからGBに変更したが、最初と最後の切り替えは問題を解決していない。

ARCH linuxを実行すると、すべて最新のもので、他のアプリケーションが影響を受けることはありません。私はスティッキーキーを使用していません。

ありがとうございました！

EDITは：...助けていない、再インストールを試みた

解決編集：うん、あなたは私が気付かずに、いくつかの超高速再バインドを行っているように見える完全に正しいです。私はまた、パッケージマネージャーは本質的に.configファイルに触れないことを知っています。これは、アプリケーションによって生成され、マネージャーの管轄下にないためです。解決済み！

Answer 1

CoqIDEキーバインドおよびその他の設定は、.coq/または.config/coqに格納されます。複数のバージョンのCoqが同時にインストールされていると、それらはアンインストール時に削除されず、共有されます（これは問題の可能性があります）。

設定した特定の設定を失う心配がない場合は、このディレクトリを削除してCoqIDEで再度作成するようにしてください。

あなたが心配している場合は、ファイルを見てください（非常に長いだけでなく、かなり読みやすい）。ただ：例えば：

cat .config/coq/coqide.keys | grep "tab" 

は私のマシン上で、次が得られます。

; (gtk_accel_path "<Actions>/View/Previous tab" "<Alt>Left") 
; (gtk_accel_path "<Actions>/View/Next tab" "<Alt>Right") 

PS：キーバインディングは、あなたが気づかずにそれを行うことができますCoqIDEに再定義するのは簡単ですので、あなたの問題が生じている場合があります（例：View）、いくつかのオプション（たとえばPreviousタブ）、キーボードに何か（例えばv）を入力すると、voilàvはPreviousタブのショートカットになります。