+ (avoidResliceInterpolation?AVOID_RESLICE_INTERPOLATION:0)
+ (keepUndoBuffers?KEEP_UNDO_BUFFERS:0);
prefs.put(OPTIONS, Integer.toString(options));
int options2 = (useSystemProxies?USE_SYSTEM_PROXIES:0)
+ (useFileChooser?USE_FILE_CHOOSER:0) + (subPixelResolution?SUBPIXEL_RESOLUTION:0)
<BUG>+ (enhancedLineTool?ENHANCED_LINE_TOOL:0);
prefs.put(OPTIONS2, Integer.toString(options2));</BUG>
}
public static void set(String key, String text) {
if (key.indexOf('.')<1)

+ (avoidResliceInterpolation?AVOID_RESLICE_INTERPOLATION:0)
+ (keepUndoBuffers?KEEP_UNDO_BUFFERS:0);
prefs.put(OPTIONS, Integer.toString(options));
int options2 = (useSystemProxies?USE_SYSTEM_PROXIES:0)
+ (useFileChooser?USE_FILE_CHOOSER:0) + (subPixelResolution?SUBPIXEL_RESOLUTION:0)
+ (enhancedLineTool?ENHANCED_LINE_TOOL:0) + (skipRawDialog?SKIP_RAW_DIALOG:0);
prefs.put(OPTIONS2, Integer.toString(options2));
}
public static void set(String key, String text) {
if (key.indexOf('.')<1)
