royandreno Just upgraded after the latest release, and now it seems the white synced highlight option is gone (when choosing no highlights)
peter I'm sorry I don't understand what you mean. I have not removed any highlighting options in version 3.7.2.
peter Thanks for the clip. I don't see anything wrong with it. Your highlight color seems to be set to light blue so if you want another color you can change it in Settings > User Interface > Color.