Variable: ebnf-production-font

ebnf-production-font is a customizable variable defined in ebnf2ps.el.gz.

Value

(10 Helvetica "Black" "White" bold)

Documentation

Specify production header font.

It is a list with the following form:

   (SIZE NAME FOREGROUND BACKGROUND ATTRIBUTE...)

Where: SIZE is the font size. NAME is the font name symbol. ATTRIBUTE is one of the following symbols:
   bold - use bold font.
   italic - use italic font.
   underline - put a line under text.
   strikeout - like underline, but the line is in middle of text.
   overline - like underline, but the line is over the text.
   shadow - text will have a shadow.
   box - text will be surrounded by a box.
   outline - print characters as hollow outlines.
FOREGROUND is a foreground string color name; if it's nil, the default color is
"Black".
BACKGROUND is a background string color name; if it's nil, the default color is
"White".

See ps-font-info-database for valid font name.

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

Source Code

;; Defined in /usr/src/emacs/lisp/progmodes/ebnf2ps.el.gz
(defcustom ebnf-production-font '(10 Helvetica "Black" "White" bold)
  "Specify production header font.

It is a list with the following form:

   (SIZE NAME FOREGROUND BACKGROUND ATTRIBUTE...)

Where:
SIZE is the font size.
NAME is the font name symbol.
ATTRIBUTE is one of the following symbols:
   bold      - use bold font.
   italic    - use italic font.
   underline - put a line under text.
   strikeout - like underline, but the line is in middle of text.
   overline  - like underline, but the line is over the text.
   shadow    - text will have a shadow.
   box       - text will be surrounded by a box.
   outline   - print characters as hollow outlines.
FOREGROUND is a foreground string color name; if it's nil, the default color is
\"Black\".
BACKGROUND is a background string color name; if it's nil, the default color is
\"White\".

See `ps-font-info-database' for valid font name."
  :type '(list :tag "Production Font"
	       (number :tag "Font Size")
	       (symbol :tag "Font Name")
	       (choice :tag "Foreground Color"
		       (string :tag "Name")
		       (other :tag "Default" nil))
	       (choice :tag "Background Color"
		       (string :tag "Name")
		       (other :tag "Default" nil))
	       (repeat :tag "Font Attributes" :inline t
		       (choice (const bold)      (const italic)
			       (const underline) (const strikeout)
			       (const overline)  (const shadow)
			       (const box)       (const outline))))
  :version "20"
  :group 'ebnf-production)