elisp: Window Dividers
37.15 Window Dividers
=====================
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.
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. 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’
When a divider is less than three pixels wide, it is drawn solidly
with the foreground of this face. For larger dividers this face is
used for the inner part only, excluding the first and last pixel.
‘window-divider-first-pixel’
This is the face used for drawing the first pixel of a divider that
is at least three pixels wide. To obtain a solid appearance, set
this to the same value used for the ‘window-divider’ face.
‘window-divider-last-pixel’
This is the face used for drawing the last pixel of a divider that
is at least three pixels wide. To obtain a solid appearance, set
this to the same value used for the ‘window-divider’ face.
You can get the sizes of the dividers of a specific window with the
following two functions.
-- Function: window-right-divider-width &optional window
Return the width (thickness) in pixels of WINDOW’s right divider.
WINDOW must be a live window and defaults to the selected one. The
return value is always zero for a rightmost window.
-- Function: window-bottom-divider-width &optional window
Return the width (thickness) in pixels of WINDOW’s bottom divider.
WINDOW must be a live window and defaults to the selected one. The
return value is zero for the minibuffer window or a bottommost
window on a minibuffer-less frame.