MySQL Workbench 終了後、起動しない

最近よく、MySQL Workbench 6.2 を終了時に異常終了して次回起動できなくなる。

試行錯誤で復旧方法をやっと見つけた。MySQL Workbench のアプリケーションのデータ、

C:\Users\ログインユーザ名\AppData\Roaming\MySQL\Workbench

の下にある、wb_options.xml を削除する。

と復旧する。

connections.xml を消してしまうと折角作ったDBへの接続ログイン情報が無くなって作りなおさくてはならない。他のファイルは全て削除しても復旧には問題なかった。

なぜ異常終了するようになったのか、原因はまだわからない。
思い当たるのは、SQLエディタのフォントサイズを変更したくらい。
デフォルトが、8なので、これは変えたいところだ。