Fix #3249: Settings panel shows strange hover/selection behavior#3250

Closed

tom-englert wants to merge 1 commit intoicsharpcode:masterfrom tom-englert:dev/#3249

+39-44

Commits on Aug 3, 2024

Fix icsharpcode#3249 : Settings panel shows strange hover/selection behavior
tom-englert
committed