Windows10 で GNAT Studio Community 2020 (20200427) を使用しています。
「Goto宣言orbody」アクションにキーショートカットを設定したい。
[編集] > [設定...] > [キー ショートカット] メニューで選択し、[宣言または本文に移動] を選択して [追加] ボタンをクリックし、ショートカット (たとえばCtrl+:) を入力して、[設定] ウィンドウを閉じます。
この結果は、 に追加されていますが、キー ショートカットが機能しないということです ~/.gnatstudio/keys.xml。
私は何か見落としてますか ？誰かが同じ問題を抱えていましたか？