|
Ben:
So it could be a good choice to remove this option. Better one option less then one distracted user less ;-)
I never used this option. That's of course no evidence but at least one hint.
Mark:
Great work! Thanks. After removing one small bug the button/option-thing buttons stay black and follow changing option-values over PRS-options. New files will be in the repository soon.
A.
|