(Fx_hide_tip) [USE_LUCID]: Add a hack to redisplay
authorGerd Moellmann <gerd@gnu.org>
Tue, 21 Nov 2000 22:26:20 +0000 (22:26 +0000)
committerGerd Moellmann <gerd@gnu.org>
Tue, 21 Nov 2000 22:26:20 +0000 (22:26 +0000)
commitf6c44811e2336379d64cf7dcd5611f2d928ae9f0
tree45dc83607070418169df57f65ae2e91987faab30
parent38ee4fb4bfd967f94942bbdb729d938a4a1b188a
(Fx_hide_tip) [USE_LUCID]: Add a hack to redisplay
the menu bar when the tooltip is unmapped.
src/xfns.c