Closed donnemartin closed 8 years ago
However, the menu bar is properly cleared on Ctrl-D.
Fixed with f0e0e2f18d9123e43cc1fd83035ce806f5e6100f.
However, the menu bar is properly cleared on Ctrl-D.