Closed gemedet closed 7 years ago
This PR adds a user preference for the "Dithered" flag (within a new "Tools" menu). Options include Default, On, and Off.
Default
On
Off
Thank you
This PR adds a user preference for the "Dithered" flag (within a new "Tools" menu). Options include
Default
,On
, andOff
.