gedit マニュアル

gedit は印刷やスペル・チェック、検索、強調表示といった基本的な機能を兼ね備えた、 GNOME デスクトップのテキスト・エディタです。さらに、プラグインを導入することでより強力な機能を利用することもできます。