DONT_SAVE_HEADERS=1<<26, DONT_SAVE_ROW_NUMBERS=1<<27, NO_CLICK_TO_GC=1<<28,
AVOID_RESLICE_INTERPOLATION=1<<29, KEEP_UNDO_BUFFERS=1<<30;
public static final String OPTIONS = "prefs.options";
public static final String vistaHint = "";  // no longer used
private static final int USE_SYSTEM_PROXIES=1<<0, USE_FILE_CHOOSER=1<<1,
<BUG>SUBPIXEL_RESOLUTION=1<<2, ENHANCED_LINE_TOOL=1<<3;
</BUG>
public static final String OPTIONS2 = "prefs.options2";
public static String separator = System.getProperty("file.separator");
public static boolean usePointerCursor;

DONT_SAVE_HEADERS=1<<26, DONT_SAVE_ROW_NUMBERS=1<<27, NO_CLICK_TO_GC=1<<28,
AVOID_RESLICE_INTERPOLATION=1<<29, KEEP_UNDO_BUFFERS=1<<30;
public static final String OPTIONS = "prefs.options";
public static final String vistaHint = "";  // no longer used
private static final int USE_SYSTEM_PROXIES=1<<0, USE_FILE_CHOOSER=1<<1,
SUBPIXEL_RESOLUTION=1<<2, ENHANCED_LINE_TOOL=1<<3, SKIP_RAW_DIALOG=1<<4;
public static final String OPTIONS2 = "prefs.options2";
public static String separator = System.getProperty("file.separator");
public static boolean usePointerCursor;
