/** * @param app * @param type * @return short version of Option type string */ public static final String getTypeStringSimple(Localization loc, OptionType type) { switch (type) { case DEFAULTS: return loc.getPlain("Defaults"); case SPREADSHEET: return loc.getPlain("Spreadsheet"); case EUCLIDIAN: return loc.getPlain("DrawingPad"); case EUCLIDIAN2: return loc.getPlain("DrawingPad2"); case CAS: return loc.getPlain("CAS"); case ADVANCED: return loc.getMenu("Advanced"); case OBJECTS: return loc.getMenu("Objects"); // return objectPanel.getSelectionDescription(); case LAYOUT: return loc.getMenu("Layout"); case EUCLIDIAN3D: return loc.getPlain("GraphicsView3D"); case EUCLIDIAN_FOR_PLANE: return loc.getPlain("ExtraViews"); case ALGEBRA: return loc.getPlain("Algebra"); default: Log.error("missing case in getTypeStringSimple():" + type); return null; } }
@Override public void exportPaintPre(GGraphics2D g2d, double scale, boolean transparency) { Log.error("exportPaintPre unimplemented"); }