TexのGUIって素人製が多いから自動保存とかないよ。 だから尚更バックアップ取っておかないとダメだけど、疎いやつは痛い目にあう。