07:04:01 # Life Proof General をインストールしてからEmacsのアイコンが軍人っぽくなってる。 Proof Generalを起動してからアイコン変わるなんてどうやってるんだろうとおもったら常になってるだけだった。これはどうしたらよいものか。