以下のコマンドで、標準的な？プラグインをサクッと追加できた。

sudo apt-get install  gedit-plugins

インストールしたら、geditは再起動すること。

これで、ボトムパネルに端末を埋め込むことができた。実は、僕の作業効率がバク上がりする、地味だけど大事な設定。