2017年9月13日 1:31 am #24131 Yutaka EmuraKeymasterent 様いつもお世話になっております。江村です。申し訳ありませんが、v17.1.3 で問題が発生したため、v17.1.4 を公開しました。ミニマップとスクロール バーで動作が異なるため、完全にブックマークなどの強調位置を合わせることは難しいです。将来的に、検討させてください。ミニマップを横切るような線は、以前からありました。よろしくお願い申し上げます。