Lately, maybe due to a change in GTK, all check marks in all menus are always visible even if the option is not selected. You can see it very easily in the “View” menu, all options have a visible check mark, those that are selected are blue, the others are gray. They are not easily distinguishable. Can we please get rid of this behaviour somehow?