Skip to content
Snippets Groups Projects
Commit 47117868 authored by Piotr Gawron's avatar Piotr Gawron
Browse files

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)
parent 6192cdc8
No related branches found
No related tags found
Hide whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment