v8.0.1177
54e5dbf5 · patch 8.0.1177: in a terminal window the popup menu is not cleared ·