private static DisplayOptions getGDOdefaults() {
return new DisplayOptionsEditor(DEFAULT_SHOW_SLIDERS, DEFAULT_SHOW_GRID, DEFAULT_HINT, DEFAULT_FILL, false, false, false, DEFAULT_PEN, DEFAULT_COORDS_EDITOR);
}
public static DisplayOptions getGDOrender(int siz, int aa_sf_x, int aa_sf_y) {
CoordsEditor c = new CoordsEditor((siz >> 1) * aa_sf_x, siz * aa_sf_y, siz >> 1, siz, 2, 2);
return new DisplayOptionsEditor(false, false, true, false, false, false, false, new PenRound(0), c);
}