It’s been there for a while (more than a year) are you aware of this?
Try importing Rhino6 options file.
Then export it from Rhino7
The try to re-import the exported one.
If that still works then it’s some inconsistency about my changed colors of rhino interface
Checked how you described it. It’s working.