Windows 8 二日目。マウスのダブルクリックの設定を変えたのに、再起動したところ、それとは別の値になっていた。設定保存が正常に行えていないらしい。原因不明。マウスの設定は、テーマに含まれているのかもしれない。テーマを保存していなかったから、元…