Thread Previous • Date Previous • Date Next • Thread Next |
Le 22/12/2017 à 12:30, Jeff Young a écrit : > Bug 1706570[1] complains that DRC markers are dimmed in high-contrast mode, making them hard to see. I agree that it would be better not to. > > I’ve attached a patch to the bug report to accomplish this if others agree. > > Cheers, > Jeff. I committed your patch. Thanks. -- Jean-Pierre CHARRAS
Thread Previous • Date Previous • Date Next • Thread Next |