[ 返信 ]
> テキストの流し込みで見逃しが発生する可能性を考えると異字体変換がそこまで手間でないなら、&#\d+;を検索すれば良いだけな気がしますが。
[20388] -e (2020/08/28 Fri 09:05)
