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.

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.  */);