Немного покопавшись в источнике ScrollBar
, похоже, есть многочисленные (оконные) ошибки, которые были преодолены в тот или иной момент. Это может быть и другое, хотя вы не упомянули ни свою ОС, ни Пола, поэтому трудно сказать.
Все функции «изменить положение полосы прокрутки» в итоге вызывают SetScrollInfo
, что является частным пакетом. Я подозреваю, что цель состоит в том, чтобы на самом деле обновить вещи так, как вы хотите.
Ничто из этого не решает вашу проблему. К счастью, тот же источник также намекает на решение:
Slider.
Вы должны были бы переопределить все поведение полосы прокрутки в пределах ползунка, но как только это будет сделано, должен дать вам контроль (хар), который вы хотите. С надеждой. OTOH, вы можете столкнуться с точно такой же ошибкой ОС (если она будет) и вернуться на круги своя.
В этот момент вы определенно регистрируете ее как ошибку Eclipse UI.
PS: Вы искали что-нибудь подобное в Eclipse Bugzilla ? * * * * * * * * * * * * * * , связанная с тем, что полоса прокрутки не синхронизирована с древовидным представлением в Навигаторе (на ПК Linux-Motif, но нормально работает в Windows) Я подозреваю, что вы найдете похожие проблемы, если будете копать немного больше.