defaultOptions = (!IJ.isMacOSX()?USE_FILE_CHOOSER:0);
int options2 = getInt(OPTIONS2, defaultOptions);
useSystemProxies = (options2&USE_SYSTEM_PROXIES)!=0;
useFileChooser = (options2&USE_FILE_CHOOSER)!=0;
subPixelResolution = (options2&SUBPIXEL_RESOLUTION)!=0;
<BUG>enhancedLineTool = (options2&ENHANCED_LINE_TOOL)!=0;
}</BUG>
static void saveOptions(Properties prefs) {
int options = (usePointerCursor?USE_POINTER:0) + (antialiasedText?ANTIALIASING:0)
+ (interpolateScaledImages?INTERPOLATE:0) + (open100Percent?ONE_HUNDRED_PERCENT:0)

defaultOptions = (!IJ.isMacOSX()?USE_FILE_CHOOSER:0);
int options2 = getInt(OPTIONS2, defaultOptions);
useSystemProxies = (options2&USE_SYSTEM_PROXIES)!=0;
useFileChooser = (options2&USE_FILE_CHOOSER)!=0;
subPixelResolution = (options2&SUBPIXEL_RESOLUTION)!=0;
enhancedLineTool = (options2&ENHANCED_LINE_TOOL)!=0;
skipRawDialog = (options2&SKIP_RAW_DIALOG)!=0;
}
static void saveOptions(Properties prefs) {
int options = (usePointerCursor?USE_POINTER:0) + (antialiasedText?ANTIALIASING:0)
+ (interpolateScaledImages?INTERPOLATE:0) + (open100Percent?ONE_HUNDRED_PERCENT:0)
