Yeah, in hindsight this was actually worth all the trouble to finally fix the selection clarification & DRC marker highlighting bugs.
Yeah, in hindsight this was actually worth all the trouble to finally fix the selection clarification & DRC marker highlighting bugs.