個人的メモ。
geditがもうちょっと使いやすくなったらいいなぁ、と思って調べた時のものです。
標準的なプラグインを導入
$ sudo apt-get install gedit-plugins
でOK。
プラグイン導入でGeditを使いやすくする | にがてぶろぐ
さんのブログを参考にしました。
現在の日付をキーボードショートカットで入力
デフォルトだとメニュー→「編集」→「日付、時刻の挿入」とちょっとめんどくさいので。
geditのキーバインド(キーボード・ショートカット)を変更する方法 – 乙女系プロレスリング
editshortcuts-pluginというものがいるらしい。が、リンク先が404orz
→まだ未解決。
いろんなプラグインがあるようなので、ちょっとずつ使っていこうと思います。