1

少し奇妙な問題が発生しています...最近、CoqIDE を使用しているときにいくつかの奇妙な状況が発生しています。

  1. windows/superキーを押さないと文字「v」を入力できません。

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

キーマップを US から GB に変更した後に最初の 2 つ (発生した可能性があります) が発生しましたが、前後に切り替えても問題は解決しませんでした。

ARCH Linux を実行すると、すべてが最新の状態になり、他のアプリケーションは影響を受けません。スティッキー キーはオンになっていません。

ご提案ありがとうございます。

編集：再インストールを試みましたが、役に立ちませんでした...

解決済みの編集: ええ、あなたは完全に正しいです。気付かないうちに超高速の再バインドを行ったようです。また、.config ファイルはアプリによって生成され、マネージャーの管轄下にないため、パッケージ マネージャーは基本的に .config ファイルに触れないことも学びました。解決しました！

4

1 に答える 1

3

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 ではキー バインディングを簡単に再定義できるため、問題が発生した可能性があります。キーボード (たとえば v) と voilà v が [前のタブ] のショートカットになりました。

于 2016-12-12T15:12:18.283 に答える