ent 様
いつもお世話になっております。江村です。説明が足らず、わかりにくく申し訳ありませんでした。v17.1.4 公開直後から昨日まで海外出張していて、時間が取れず、補足が遅れてしまいました。
v17.1.2 から v17.1.4 の違いを画面図で説明すると、以下の通りになります。
まず、40行の小さなファイルの場合、v17.1.2 では、垂直スクロール バーのつまみの部分と下矢印ボタンの部分の間に隙間があいてしまうため、ブックマークの位置が、ミニマップとスクロール バーで完全に一致していませんでした。
(v17.1.2)
v17.1.3、v17.1.4 では、この隙間を無くし、位置を完全に合わせることができるようになりました。
(v17.1.3)
(v17.1.4)
一方、10万行の大きなファイルでは、つまみの最小幅 (Windows API の GetSystemMetrics(SM_CYVTHUMB) で得られる値) があるため、ミニマップと垂直スクロール バーで、動作が異なります。
(v17.1.2)
v17.1.3 では、両者の位置が同じになりましたが、つまみが、下矢印の裏に潜るような現象が発生してしまいました。これは使いにくいので、すぐに v17.1.4 で修正いたしました。
(v17.1.3)
v17.1.4 では、つまみが、下矢印の裏に潜るような現象はなくなりましたが、ブックマークの位置は、v17.1.2 と同じように表示されます。
(v17.1.4)
以上のように、小さなファイルと大きなファイルで動作が異なるため、ミニマップと垂直スクロール バーで、完全にブックマークの位置を合わせて、かつ、不自然な動作にならないようにするのは難しいと思っているのです。何かいい妙案があれば、ご提案いただければ幸いです。
よろしくお願い申し上げます。