Внедрение прокрутки страницы (например, ручного инструмента в Acrobato Reader) в редакторе Eclipse Plugin

Question

Я разрабатываю редактор плагинов Eclipse, у которого есть Палитра вылета с несколькими инструментами в нем (например, выбор и т. Д.).

Мне было интересно, как добавить специальный инструмент (назовем его «ручным инструментом»), который прокручивает страницу так же, как «ручной инструмент» Acrobat Reader прокручивает страницу документа PDF.

Я искал некоторые идеи о том, как решить эту проблему, но без успеха, до сих пор. Не могли бы вы дать мне какой-то намек?

Заранее спасибо

Answer 1

Предполагаете, что вы используете ГЭФ? Мой ответ может быть тривиальным, но я пытаюсь бросить некоторые идеи.

org.eclipse.draw2d.Viewport класс имеет пару getViewLocation()/setViewLocation() Методы. Кажется, что с их помощью вы можете прокручивать свое мнение по своему усмотрению.

Теперь вам понадобится инструмент. Изучите иерархию org.eclipse.gef.tools.AbstractTool descendans, чтобы найти примеры желаемого поведения и создать свой собственный класс инструментов для вашей функциональности.