JIRA 1888.  Add user preference to disable anti-aliasing