ebnf-style-custom-list
ebnf-style-custom-list is a variable defined in `
ebnf2ps.el
'.
Its value is
(ebnf-special-show-delimiter ebnf-special-font ebnf-special-shape ebnf-special-shadow ebnf-special-border-width ebnf-special-border-color ebnf-except-font ebnf-except-shape ebnf-except-shadow ebnf-except-border-width ebnf-except-border-color ebnf-repeat-font ebnf-repeat-shape ebnf-repeat-shadow ebnf-repeat-border-width ebnf-repeat-border-color ebnf-terminal-regexp ebnf-case-fold-search ebnf-terminal-font ebnf-terminal-shape ebnf-terminal-shadow ebnf-terminal-border-width ebnf-terminal-border-color ebnf-non-terminal-font ebnf-non-terminal-shape ebnf-non-terminal-shadow ebnf-non-terminal-border-width ebnf-non-terminal-border-color ebnf-production-name-p ebnf-sort-production ebnf-production-font ebnf-arrow-shape ebnf-chart-shape ebnf-user-arrow ebnf-horizontal-orientation ebnf-horizontal-max-height ebnf-production-horizontal-space ebnf-production-vertical-space ebnf-justify-sequence ebnf-lex-comment-char ebnf-lex-eop-char ebnf-syntax ebnf-iso-alternative-p ebnf-iso-normalize-p ebnf-file-suffix-regexp ebnf-eps-prefix ebnf-eps-header-font ebnf-eps-header ebnf-eps-footer-font ebnf-eps-footer ebnf-entry-percentage ebnf-color-p ebnf-line-width ebnf-line-color ebnf-debug-ps ebnf-use-float-format ebnf-stop-on-error ebnf-yac-ignore-error-recovery ebnf-ignore-empty-rule ebnf-optimize)
- This variable may be risky if used as a file-local variable.
Documentation:
List of valid symbol custom variable.