mi 3.7.2

mi テキストエディタ 3.7.2 がリリースされました。
mi はコーディングや、Webページ作成、原稿書き、レビュー、ログ解析などに適したテキストエディタです。
バージョン3.7で発生した、見出しリストに、検索一致している見出しが表示されないことがある問題が修正されました。
私はホームページの修正に使用しています。

本日のオキシダント濃度
0.032ppm（PM2.5 は 11μg/m3）