From 82ba818ff456bcd6d56a06226e3f27e98fbb55c3 Mon Sep 17 00:00:00 2001 From: Craig Jennings Date: Thu, 14 Aug 2025 22:58:58 -0500 Subject: removing all downloaded devdocs files --- devdocs/elisp/header-lines.html | 10 ---------- 1 file changed, 10 deletions(-) delete mode 100644 devdocs/elisp/header-lines.html (limited to 'devdocs/elisp/header-lines.html') diff --git a/devdocs/elisp/header-lines.html b/devdocs/elisp/header-lines.html deleted file mode 100644 index d5d20858..00000000 --- a/devdocs/elisp/header-lines.html +++ /dev/null @@ -1,10 +0,0 @@ -

Window Header Lines

A window can have a header line at the top, just as it can have a mode line at the bottom. The header line feature works just like the mode line feature, except that it’s controlled by header-line-format:

Variable: header-line-format -

This variable, local in every buffer, specifies how to display the header line, for windows displaying the buffer. The format of the value is the same as for mode-line-format (see Mode Line Data). It is normally nil, so that ordinary buffers have no header line.

-
Function: window-header-line-height &optional window -

This function returns the height in pixels of window’s header line. window must be a live window, and defaults to the selected window.

-

A window that is just one line tall never displays a header line. A window that is two lines tall cannot display both a mode line and a header line at once; if it has a mode line, then it does not display a header line.

-

- Copyright © 1990-1996, 1998-2022 Free Software Foundation, Inc.
Licensed under the GNU GPL license.
- https://www.gnu.org/software/emacs/manual/html_node/elisp/Header-Lines.html -

-
-- cgit v1.2.3