In Ocean theme, adding highlight does not reverse the color of highlighted text

Still having this problem. No matter what highlight color I apply, the text itself turns gray and there’s no setting I can find that changes this.

I suspect this is a problem with all colored schemes. The request:

  1. Add a setting in the main settings (and project settings for overrides?) that sets a user-defined highlight color as the default.

  2. Then add a setting (same place(s)) that sets a user-defined text color for highlighted text.

Whatever generic solution has been applied (gray text, or whatever) isn’t working well with Ocean theme, and I suspect, many other themes as well.

Thanks,

Thomas