when opening a window that was already opened, overlays are not repainted (so…
when opening a window that was already opened, overlays are not repainted (so there are no new not removable overlays there)
Closes #273 (closed)
when opening a window that was already opened, overlays are not repainted (so there are no new not removable overlays there)
Closes #273 (closed)