Разделители окон — это линии, нарисованные между окнами фрейма. Правый
разделитель нарисован между окном и любыми соседними окнами справа. Его ширина (толщина)
указывается параметром фрейма
right-divider-width. Нижний разделитель нарисован между
окном и соседними окнами снизу или областью эхо. Его ширина указывается параметром
фрейма bottom-divider-width. В любом случае указание ширины
равной нулю означает, что такие разделители не рисуются. См. Параметры
расположения.
Технически, правый разделитель принадлежит окну слева от него, что означает, что его ширина вносит вклад в общую ширину этого окна. Нижний разделитель принадлежит окну над ним, что означает, что его ширина вносит вклад в общую высоту этого окна. См. Размеры окон. Когда у окна есть и правый, и нижний разделитель, нижний разделитель имеет приоритет. Это означает, что нижний разделитель рисуется на полной общей ширине своего окна, в то время как правый разделитель заканчивается над нижним разделителем.
Разделители можно перетаскивать мышью, поэтому они полезны для изменения размеров соседних окон с помощью мыши. Они также служат для визуального разделения соседних окон, когда отсутствуют панели прокрутки или строки режима. Следующие три лица позволяют настроить внешний вид разделителей:
window-dividerКогда разделитель имеет ширину менее трех пикселей, он рисуется сплошным цветом переднего плана этого лица. Для более широких разделителей это лицо используется только для внутренней части, исключая первый и последний пиксель.
window-divider-first-pixelЭто лицо используется для рисования первого пикселя разделителя, ширина которого
составляет не менее трех пикселей. Чтобы получить сплошный вид, установите его
в то же значение, что и для лица window-divider.
window-divider-last-pixelЭто лицо используется для рисования последнего пикселя разделителя, ширина которого
составляет не менее трех пикселей. Чтобы получить сплошный вид, установите его
в то же значение, что и для лица window-divider.
Вы можете получить размеры разделителей определенного окна с помощью следующих двух функций.
Возвращает ширину (толщину) в пикселях правого разделителя window. window должен быть активным окном и по умолчанию используется выбранное. Возвращаемое значение всегда равно нулю для самого правого окна.
Возвращает ширину (толщину) в пикселях нижнего разделителя window. window должен быть активным окном и по умолчанию используется выбранное. Возвращаемое значение равно нулю для окна minibuffer или самого нижнего окна в фрейме без minibuffer.