v8.1.1562
ad24a71e · patch 8.1.1562: popup window not always redrawn after popup_setoptions() ·