Beispiel #1
0
 /**
  * @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;
   }
 }
Beispiel #2
0
 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;
 }
Beispiel #3
0
 public void setLabels() {
   Localization loc = app.getLocalization();
   redoButton.setTitle(loc.getMenu("Redo"));
   undoButton.setTitle(loc.getMenu("Undo"));
 }