diff options
author | Gerd Moellmann <[email protected]> | 2000-11-21 22:26:20 +0000 |
---|---|---|
committer | Gerd Moellmann <[email protected]> | 2000-11-21 22:26:20 +0000 |
commit | f6c44811e2336379d64cf7dcd5611f2d928ae9f0 (patch) | |
tree | 45dc83607070418169df57f65ae2e91987faab30 /.gitignore | |
parent | 38ee4fb4bfd967f94942bbdb729d938a4a1b188a (diff) |
(Fx_hide_tip) [USE_LUCID]: Add a hack to redisplay
the menu bar when the tooltip is unmapped.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions