*** Mouse support for selection and *toc* buffers
The mouse can now be used to select items in the selection and *toc* buffers. See also the new option `reftex-highlight-selection'.