mi の内部コードが Unicode に変更された。これで gettext の po ファイルの編集にも問題がなくなるはずだ（多言語に対応している必要があるため）。さっそく試してみると表示／編集とも問題なし。これならば使えそうだ。 ということで po ファイルを編集す…

見た目にはタブの外観が変わったくらいの印象しかないが、細かいところでは大きく変更されているようだ。特に起動にかかる時間が短くなったのはうれしい。また、メモリの使用量やパフォーマンスが改善されているようだ。このあたりも、今のマシンをしばらく…

6/20 に対策を行ってからしばらくは沈静化するかと思っていたのだけど、6/24 に 2 回ずつ（計 6 回）、今日 1 回ずつ（計 3 回）と連続して書き込まれてしまった。せっかくプラグインを追加したのにこうもあっさりとやられてしまうとは。 仕方がないのでもう…