1998-03-08 Carsten Dominik <cd@gnu.org>

1998-03-08  Carsten Dominik  <cd@gnu.org>

* (reftex-cursor-selected-face,
reftex-mouse-selected-face, reftex-file-boundary-face,
reftex-label-face, reftex-section-heading-face,
reftex-toc-header-face, reftex-bib-author-face,
reftex-bib-year-face, reftex-bib-title-face,
reftex-bib-extra-face): New options.
(reftex-toc, reftex-make-and-insert-label-list,
reftex-format-bib-entry, reftex-section-info): Use fonts defined
in the new options.
(reftex-do-citation): Kill buffer *RefTeX Select* to avoid
problems with lazy-lock.