Andrea Zorzi

Results 1 comments of Andrea Zorzi

Same to me, I found this temporary solution: in the developer console, run the script ` for(let el of document.querySelectorAll(".highlight.selection")){ el.remove() } `