2016年1月26日 (火曜日)

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

Junichi Uekawa