デスクトップの設定 -> 拡張設定 -> お気に入りのアプリ の中にテキストエディターの設定を見つけました。有難う ございました。ただ，拡張子が複数のカテゴリーで登録 されている場合 (/usr/share/mime-info/ のファイルで) ユーザーがファイルタイプの関連付けをいじっても必ずしも うまくいかないようです。これについてはもう少し試して みます。 雪江