v8.0.1842
0b565e5d · patch 8.0.1842: popup menu inside terminal window isn't cleared ·