#6833

説明の通りにすると、タグジャンプできるようになりました。
ありがとうございます。

「プラグインの設定」以外にも、設定画面があったのですね……
気づかなかった。

とりあえず、F12タグジャンプができるようにはなったのですが、説明されたようにキー設定を変えて以降、プロジェクトプラグインを表示している間、スペースキーでスペースを入力できなくなりました。
スペースキーには、本体でもプラグインでも設定してないのですが……