GNOME 編集プロパティ

GNOME 編集プロパティは、GNOME で使うデフォルトのエディタを指定するためのものだ。GNOME ファイルマネージャが、編集と関連づいているファイルを開こうとしたときに、ここで指定した正しいエディタが起動することになる。エディタ一覧には、システム上のよく使うエディタが一通り入っている。このキャプレットはMime タイプキャプレットのそっくりだけれど、特定のアプリケーションと組み合わせて使われる。

Figure 9-7. GNOME 編集プロパティ