diff install-sh @ 66044:4270eecbdc34

(note_mouse_movement): Restore help_echo_string if mouse is moved inside last_mouse_glyph.
author YAMAMOTO Mitsuharu <mituharu@math.s.chiba-u.ac.jp>
date Wed, 12 Oct 2005 11:18:01 +0000
parents 23a1cea22d13
children
line wrap: on
line diff