Fix #3249: Settings panel shows strange hover/selection behavior - #3250
Closed
tom-englert wants to merge 1 commit into
Closed
Fix #3249: Settings panel shows strange hover/selection behavior#3250tom-englert wants to merge 1 commit into
tom-englert wants to merge 1 commit into