| commit | 657ba27ddecd7393e6a93e5c7249573ed0174d72 | [log] [tgz] |
|---|---|---|
| author | Jack Jansen <jack.jansen@cwi.nl> | Sat Feb 17 22:02:07 2001 +0000 |
| committer | Jack Jansen <jack.jansen@cwi.nl> | Sat Feb 17 22:02:07 2001 +0000 |
| tree | 0654b3739ceafb9e070f981171639f422214c0d8 | |
| parent | fab7415831607dbddc0dbc55c2409a0fc9dd2cd4 [diff] |
More changes to attempt to get the menubar back on exit. Without success:-(