aboutsummaryrefslogtreecommitdiffstats
path: root/leim/Makefile.in
diff options
context:
space:
mode:
authorKarl Heuer <[email protected]>1997-10-24 19:53:43 +0000
committerKarl Heuer <[email protected]>1997-10-24 19:53:43 +0000
commitbaec12503b9db8becf3e66b81b7a02f95cd304e3 (patch)
treef2a6956191cd78b7ce422e22a80237883e07b5fe /leim/Makefile.in
parentdd557bb8a2195c072896a379c48a586235a98be2 (diff)
The menu now used toggle and radio for some items.
(reftex-default-context-regexps): `caption' now prefers the optional short caption. (reftex-offer-label-menu): Fixed bug which could kill master buffer of external document. (reftex-select-item,reftex-get-buffer-visiting): Compatibility code works now the other way round. (reftex-select-external-document): Now gives a message when no external documents are available. (reftex-find-duplicate-labels): Single key strokes to exit or to do a query replace. Made more user friendly in general. (reftex-section-levels,reftex-default-context-regexps): Move definition of these variables to configuration section.
Diffstat (limited to 'leim/Makefile.in')
0 files changed, 0 insertions, 0 deletions