問題タブ [gnat-gps]
For questions regarding programming in ECMAScript (JavaScript/JS) and its various dialects/implementations (excluding ActionScript). Note JavaScript is NOT the same as Java! Please include all relevant tags on your question; e.g., [node.js], [jquery], [json], [reactjs], [angular], [ember.js], [vue.js], [typescript], [svelte], etc.
86 問題
0
投票する
0
に答える
100
参照
ada - GNAT Studio でキー ショートカットを設定できない
Windows10 で GNAT Studio Community 2020 (20200427) を使用しています。
「Goto宣言orbody」アクションにキーショートカットを設定したい。
[編集] > [設定...] > [キー ショートカット] メニューで選択し、[宣言または本文に移動] を選択して [追加] ボタンをクリックし、ショートカット (たとえばCtrl+:) を入力して、[設定] ウィンドウを閉じます。
この結果は、 に追加されていますが、キー ショートカットが機能しないということです ~/.gnatstudio/keys.xml。
私は何か見落としてますか ？誰かが同じ問題を抱えていましたか？