名前: Hiro 日時: 2002-07-12 13:31:36 IPアドレス: 210.132.49.*
>>9439 >（２）さらに大好きだった赤いTEXの文字と緑の模様のアイコンが変わり、ちょっと >味気ないものとなりました。 アイコンは自由に変えることができます． 任意のフォルダで ツール→フォルダオプション→ファイルの種類→ ここで拡張子DVIまたはTEXを選ぶ 詳細設定→アイコンの変更 で変える（もとに戻す）ことができます． 私もwinshellのバージョンアップしたときにアイコンが変わってしまったので 上の方法でもとに戻しました．
この書き込みへの返事：