diff man/basic.texi @ 61626:058da2e83614

(tooltip-show): Change second arg to USE-ECHO-AREA and make it optional. Don't test tooltip-gud-echo-area here. (tooltip-gud-process-output, gdb-tooltip-print): Pass tooltip-gud-echo-area to tooltip-show. (tooltip-help-tips): Remove second optional arg.
author Kim F. Storm <storm@cua.dk>
date Mon, 18 Apr 2005 10:23:10 +0000
parents 9d57acce20e8
children 598f5ebd4f94 4da4a09e8b1b
line wrap: on
line diff