#760 diff/ブックマークの末尾から再検索が動作しないことがある

[novice123]

Unicode版の変更([r1885])を反映しました。

[novice123]

[r3533]でcommitしました。