円マーク ¥ がペーストで入力できてしまう

[doraTeX]

「入力された ¥ を \ に置換」がONの場合でも，クリップボードから円マーク ¥ (U+00A5) をペーストすると入力できてしまう。この可能性も排除すべき。

[doraTeX]

前はこんなことなかったはずなのに……と思って調べてみたら，#48 で，PDFのペーストによるアノテーションからのソース復元機能を実装したときに入り込んできたバグでした。修正しました。