Dashed box around dropdown option

This is a small thing, but recently Dorico has started adding a dashed box around the dropdown when I toggle on any option in the Properties Panel.

It’s fine, although it does affect legibility a little. If I click off, the box goes away–it’s only when I first toggle on.

dash box.png

Dorico won’t have suddenly started to do this on its own – have you recently changed any Windows appearance or keyboard accessibility settings?

I hadn’t, no. But a restart fixed it, so… fuggedaboutit. :wink: