I have a feeling that the same applies to the pgmusic staff as well.

Going back thru all of those styles, finding the diminished stuff, changing it, of course they would have to then create a new stylename for each one, for just overwriting the existing would bring complaints from those using them as-is and happy with that result, this is a major situation because it has compounded over years' time.

Maybe development can come up with another way to fix the problem, a piece of "global" code and yet another Preference toggle. That sure would save the manhours.


--Mac