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

Разделители окон — это линии, проведенные между окнами фрейма. Правый разделитель рисуется между окном и любыми смежными окнами справа. Его ширина (толщина) задаётся параметром фрейма 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.