Unicode の WAVE DASH の形が異なる問題

Unicode の WAVE DASH の形が異なる問題が修正されるようだ。

UnicodeのWAVE DASH例示字形が、25年ぶりに修正された理由 -INTERNET Watch:
http://internet.watch.impress.co.jp/docs/special/20150307_691658.html

子供たちが間違って字形を覚えてしまう可能性があるので、修正されるのはよいことだと思う。

Google の小松さんという方が提案したらしい。ありがとう。

Firefox の画面を閉じてもプロセスが終了しない問題

Firefox を愛用しているが、自分のメインPCではFirefox の画面を閉じても終了せずにそのままプロセスが残っているという問題がずっと発生していた。
インターネットで調べていくつか解決法を試したが、効果はなかった。

先日、Firefox Developer Edition を知ったので、64ビット版をインストールしてみた。
ダウンロードは下記ページから。

Web ブラウザ Mozilla Firefox — 各国語版の Developer Edition をダウンロード — Mozilla:
https://www.mozilla.org/ja/firefox/developer/all/

いまのところは Firefox Developer Edition の Firefox が終了できないという不具合は発生していない。

通常の Firefox に勝手に追加されているプラグインなどが影響していたのだろうか。

[追記] (2015-08-17)

Firefox Developer Edition でも同じ問題が発生するようになった。

[追記] (2016-01-14)

Developer Edition ではない通常の Firefox の64ビット版を使っているが、最近は「ブラウザを閉じてもプロセスが終了しない問題」が発生しなくなったように思う。