元に戻す/やり直しのアイコンが，できない場合はグレーになるようにした．
.gitignore追加