отпустить кнопку. При этом все вершины, попавшие внутрь этого прямоугольника, будут
помечены как выбранные.
При двойном щелчке мышью на какой-либо вершине графа активизируется окно
браузера, и в нем открывается текст выбранного определения или теоремы.
Вершины графа в окне просмотра можно перемещать. Для этого необходимо
навести курсор мыши на вершину, нажать кнопку мыши и, не отпуская, вести ее в нужном
направлении. При этом все связи этой вершины автоматически потянутся за ней. Доведя
вершину до нужного места, нужно отпустить кнопку мыши и вершина зафиксируется на
новом месте.
4.5.5. 4.5.5.**** Панель управления
На панели управления расположены элементы, предназначенные для управления
просмотром структуры учебника, а именно положением окна просмотра и масштабом
изображения. Эти элементы включают в себя индикатор положения окна просмотра,
кнопку центрирования окна и кнопки управления масштабом.
Индикатор положения окна просмотра представляет из себя квадратную область, в
которой находится черная рамка. Квадратная область обозначает все поле, на котором
может располагаться изображение структуры, а рамка показывает границы видимой части,
то есть той, которая отображается в данный момент в окне просмотра.
Положение окна просмотра можно изменять с помощью данной рамки следующим
образом: наведя курсор мыши внутрь рамки, нажать на кнопку мыши и, удерживая ее в
нажатом состоянии, двигать в нужном направлении. При этом в окне просмотра
изображение структуры также будет сдвигаться соответственно движениям рамки. Для
фиксации положения окна необходимо отпустить кнопку мыши.
Кнопка «По центру», расположенная под индикатором положения окна просмотра,
предназначена для возвращения области просмотра в центр изображения. При запуске
модуля окно просмотра всегда находится в центре изображения.
Ниже расположены три кнопки управления масштабом. Кнопка «Масштаб/2»
уменьшает текущий масштаб изображения вдвое, кнопка «Масштаб*2» увеличивает
текущий масштаб вдвое, кнопка «Масштаб=1» устанавливает масштаб 1:1. Текущее
значение масштаба изображения можно проконтролировать по индикатору масштаба,
расположенному чуть выше кнопок и представляющего из себя надпись «Масштаб:» и
после него численное значение текущего масштаба. При запуске модуля масштаб
устанавливается один к одному.
Y