2018-11-14 細かい不具合を修正 編集時に、変更したのに変更済みフラグが立たない、JSONファイルの出力時にエラーが発生する等の細かい不具合をいくつか修正した。少しだけど、以前よりはまともに動くようになった。