プラグイン

プラグインを使えば、より多彩な機能を gedit に追加できます。プラグインについての詳しい情報と、内蔵のプラグインについては、セクション 10.1 - プラグインを使用するを参照してください。

9.4.1. プラグインを有効化する

gedit プラグインを有効化するには、以下の操作を実行してください。

  1. 編集 ▸ 設定を選択します。
  2. プラグインタブを選択します。
  3. 利用したいプラグインの名前の横にあるチェックボックスを選択します。
  4. 閉じるをクリックして、設定ダイアログを閉じます。

9.4.2. プラグインを無効化する

gedit を終了しても、プラグインは有効化されたままです。

gedit プラグインを無効化するには、以下の操作を実行してください。

  1. 編集 ▸ 設定を選択します。
  2. プラグインタブを選択します。
  3. 無効化したいプラグインの名前の横にあるチェックボックスを非選択状態にします。
  4. 閉じるをクリックして、設定ダイアログを閉じます。