Variable: overline-margin

overline-margin is a customizable variable defined in xdisp.c.

Value

2

Documentation

Space between overline and text, in pixels.

The default value is 2: the height of the overline (1 pixel) plus 1 pixel margin to the character height.

This variable was added, or its default value changed, in Emacs 22.1.

View in manual

Probably introduced at or before Emacs version 22.1.

Source Code

// Defined in /usr/src/emacs/src/xdisp.c
  DEFVAR_INT ("overline-margin", overline_margin,
	       doc: /* Space between overline and text, in pixels.
The default value is 2: the height of the overline (1 pixel) plus 1 pixel
margin to the character height.  */);