diff man/mini.texi @ 33355:4161fec906e0

(command-line): Set the default tooltip-mode to t for graphical displays which implement x-show-tip.
author Gerd Moellmann <gerd@gnu.org>
date Thu, 09 Nov 2000 23:47:28 +0000
parents 7476be16909f
children 7ce22edfb862
line wrap: on
line diff