diff man/mini.texi @ 66353:e81cb0b6850a

* xterm.c (note_mouse_movement): Always call note_mouse_highlight so tool tips don't interfere with press on tool bar button.
author Jan Djärv <jan.h.d@swipnet.se>
date Sun, 23 Oct 2005 21:12:46 +0000
parents ee26002f84d8
children 2ce8310aed56 aa89c814f853
line wrap: on
line diff