comparison etc/pl-refcard.tex @ 43732:679c18d33c77

(mouse-show-mark): Remove the no-highlight alternative: all terminals now support highlighting of some kind.
author Eli Zaretskii <eliz@gnu.org>
date Tue, 05 Mar 2002 18:40:20 +0000
parents e69aa66ec7cc
children 23a1cea22d13
comparison
equal deleted inserted replaced
43731:958226216247 43732:679c18d33c77