Linuxミントのバグ-テーマが変更され（元に戻せない）、ドライバーの読み込みが遅くなる

説明するのは簡単なことではありませんが、基本的にはデスクトップにLinux Mint 15（Nadia）があり、Cinnamonを実行しています。

先日起動したとき、UIのレイアウトは異なりました（上部ではなく下部のタスクバー、テーマが変更されました（黒ではなく白、アイコンが異なります）、すべてのメニューが異なります（異なるレイアウト、さまざまな情報が表示されます）。

また、キーボードとマウスのドライバをロードするのに時間がかかるように思えました。

私が知らないうちに誰かが何かを変更したかどうか、それがバグであるかどうかはわかりませんが、テーマなどを元に戻すことができないため、それはバグのようです。

ご協力いただきありがとうございます！ニック

編集：言及するのを忘れて、gsettingsを使用してシナモンをリセットして再帰的にorg.cinnamonをリセットしようとしましたが、うまくいきませんでした。

何が原因であるかを正確に知ることはできませんが、ミント自体を再インストールすると（アプリを再インストールしたり、すべてのドキュメントをコピーしたりする必要はありませんでした）、問題が修正されました。

他の誰かがたまたまこの（一見稀な）問題を抱えている場合、これは間違いなくそれを修正する最も簡単な方法です。