Windows10 1803 にアップデートしてからいつの頃からか、
関連付けがうまく出来なくいなっていた。
いろいろググって、
やっと解決法が見つかった。
以下のページでツールをダウンロードし、
ページの説明通り「Win10-関連付け補助ツール.exe」を実行。
Microsoftコミュニティを見てみると、
アプリがWindows10更新プログラムに対応できてないからだとか、
Windows10のバグだとか、
いろいろな見解があるようだが、
とりあえずこのツールでわたしの環境では解決した。
ただし、ウィルス対策ソフトにはじかれた*1。
無視して実行したが今のところ問題ない。
多分新しいのでまだ充分データがないだけなのかも知れない。
一応言っておきますが、
やる時は自己責任で。
*1:その後アバストから安全との通知が来た。Avastによって安全性が不明と判断されたプログラムは一旦 Avast のサーバーに送られ、分析終了後、問題がなければ「アバストウィルスラボの報告：このファイルは無実です 」と通知されます。
