42.15 Разделители окон

Разделители окон — это линии, нарисованные между окнами фрейма. Правый разделитель нарисован между окном и любыми соседними окнами справа. Его ширина (толщина) указывается параметром фрейма right-divider-width. Нижний разделитель нарисован между окном и соседними окнами снизу или областью эхо. Его ширина указывается параметром фрейма bottom-divider-width. В любом случае указание ширины равной нулю означает, что такие разделители не рисуются. См. Параметры расположения.

Технически, правый разделитель принадлежит окну слева от него, что означает, что его ширина вносит вклад в общую ширину этого окна. Нижний разделитель принадлежит окну над ним, что означает, что его ширина вносит вклад в общую высоту этого окна. См. Размеры окон. Когда у окна есть и правый, и нижний разделитель, нижний разделитель имеет приоритет. Это означает, что нижний разделитель рисуется на полной общей ширине своего окна, в то время как правый разделитель заканчивается над нижним разделителем.

Разделители можно перетаскивать мышью, поэтому они полезны для изменения размеров соседних окон с помощью мыши. Они также служат для визуального разделения соседних окон, когда отсутствуют панели прокрутки или строки режима. Следующие три лица позволяют настроить внешний вид разделителей:

window-divider

Когда разделитель имеет ширину менее трех пикселей, он рисуется сплошным цветом переднего плана этого лица. Для более широких разделителей это лицо используется только для внутренней части, исключая первый и последний пиксель.

window-divider-first-pixel

Это лицо используется для рисования первого пикселя разделителя, ширина которого составляет не менее трех пикселей. Чтобы получить сплошный вид, установите его в то же значение, что и для лица window-divider.

window-divider-last-pixel

Это лицо используется для рисования последнего пикселя разделителя, ширина которого составляет не менее трех пикселей. Чтобы получить сплошный вид, установите его в то же значение, что и для лица window-divider.

Вы можете получить размеры разделителей определенного окна с помощью следующих двух функций.

Функция: window-right-divider-width &optional window

Возвращает ширину (толщину) в пикселях правого разделителя window. window должен быть активным окном и по умолчанию используется выбранное. Возвращаемое значение всегда равно нулю для самого правого окна.

Функция: window-bottom-divider-width &optional window

Возвращает ширину (толщину) в пикселях нижнего разделителя window. window должен быть активным окном и по умолчанию используется выбранное. Возвращаемое значение равно нулю для окна minibuffer или самого нижнего окна в фрейме без minibuffer.