Preferences to set eraser indicator color do not seem to work