Next: Display Property, Previous: Scroll Bars, Up: Display
Window dividers are bars drawn between a frame's windows. A right
divider is drawn between a window and any adjacent windows on the right.
Its width (thickness) is specified by the frame parameter
right-divider-width
. A bottom divider is drawn between a
window and adjacent windows on the bottom or the echo area. Its width
is specified by the frame parameter bottom-divider-width
. In
either case, specifying a width of zero means to not draw such dividers.
See Layout Parameters.
Technically, a right divider belongs to the window on its left, which means that its width contributes to the total width of that window. A bottom divider belongs to the window above it, which means that its width contributes to the total height of that window. See Window Sizes. When a window has both, a right and a bottom divider, the bottom divider prevails. This means that a bottom divider is drawn over the full total width of its window while the right divider ends above the bottom divider.
Dividers can be dragged with the mouse and are therefore useful for adjusting the sizes of adjacent windows with the mouse. They also serve to visually set apart adjacent windows when no scroll bars or mode lines are present. The following three faces allow the customization of the appearance of dividers:
window-divider
window-divider-first-pixel
window-divider
face.
window-divider-last-pixel
window-divider
face.
You can get the sizes of the dividers of a specific window with the following two functions.