-
Piotr Gawron authored
when opening a window that was already opened, overlays are not repainted (so there are no new not removable overlays there)
47117868
when opening a window that was already opened, overlays are not repainted (so there are no new not removable overlays there)