/** * @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; } }
public String getTypeString(OptionType type) { switch (type) { case DEFAULTS: return loc.getPlain("PreferencesOfA", loc.getPlain("Defaults")); case SPREADSHEET: return loc.getPlain("PreferencesOfA", loc.getPlain("Spreadsheet")); case EUCLIDIAN: return loc.getPlain("PreferencesOfA", loc.getPlain("DrawingPad")); case EUCLIDIAN2: return loc.getPlain("PreferencesOfA", loc.getPlain("DrawingPad2")); case EUCLIDIAN_FOR_PLANE: return loc.getPlain("PreferencesOfA", loc.getPlain("ExtraViews")); case EUCLIDIAN3D: return loc.getPlain("PreferencesOfA", loc.getPlain("GraphicsView3D")); case CAS: return loc.getPlain("PreferencesOfA", loc.getPlain("CAS")); case ADVANCED: return loc.getPlain("PreferencesOfA", loc.getMenu("Advanced")); case ALGEBRA: return loc.getPlain("PreferencesOfA", loc.getPlain("Algebra")); case OBJECTS: return objectPanel == null ? loc.getMenu("Objects") : objectPanel.getSelectionDescription(); case LAYOUT: return loc.getPlain("PreferencesOfA", loc.getMenu("Layout")); } return null; }
public void setLabels() { Localization loc = app.getLocalization(); redoButton.setTitle(loc.getMenu("Redo")); undoButton.setTitle(loc.getMenu("Undo")); }