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;
   }
 }
 @Override
 public void exportPaintPre(GGraphics2D g2d, double scale, boolean transparency) {
   Log.error("exportPaintPre unimplemented");
 }