geditのカスタマイズについて調べていたら、キーバインド(キーボード・ショートカット)を変更する方法を見つけたので、以下で紹介する。 こちらのサイトを参考にしました。→Geditとプラグインとキーバインド: たわごと 前提 以下の環境で動作確認した。 Ub…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。