だいぶ昔から便利に使っていますが、久しぶりにアップデートされていたようで、アップデートしたら表示設定が初期値に戻ってしまいました。
備忘録として表示設定をお気に入りのカスタマイズ状態に戻す手順を記録しておきます。
更新履歴からは2019年4月にハンガリー語に対応したようです。
Graphical hardware monitorの設定ファイルは以下の場所にあります。
./local/share/cinnamon/applets/hwmonitor@sylfurd/apple.js
こちらをxedで開いて、以下のように編集します。
const ScaleRatio = 2;
以上でパネル上の表示サイズが私好みの大きさに戻ります。