garbagetown/playdocja — pull request #686 by garbagetown (2014-05-04 03:06:48+00:00)
Title: Issues 610

#610 に対応しました。一箇所のみ更新されていますが、簡易な内容なのでマージします。

併せて、2.0.8, 2.1.5 において強調表示が壊れている箇所を発見したので修正しました。