コード例 #1
0
ファイル: TableSymbols.java プロジェクト: aliali555/geogebra
  public static final String[] basicSymbols(Application app) {

    ArrayList<String> extraSymbols = new ArrayList<String>();

    // create a list of special symbols for the current locale
    int index = 1;
    while (app.getSymbol(index) != null) {
      extraSymbols.add(app.getSymbol(index));
      index++;
    }
    ;

    // build the array from the basic symbol array and the extra symbol list
    String[] array = new String[basicSymbolsMap(app).length + extraSymbols.size()];
    for (int i = 0; i < basicSymbolsMap(app).length; i++) {
      array[i] = basicSymbolsMap(app)[i][0];
    }
    for (int i = 0; i < extraSymbols.size(); i++) {
      array[i + basicSymbolsMap(app).length] = extraSymbols.get(i);
    }
    return array;
  };
コード例 #2
0
ファイル: TableSymbols.java プロジェクト: aliali555/geogebra
  public static final String[] basicSymbolsToolTips(Application app) {

    ArrayList<String> extraTooltips = new ArrayList<String>();

    // create a list of special symbols for the current locale
    int index = 1;
    while (app.getSymbol(index) != null) {
      extraTooltips.add(app.getSymbolTooltip(index));
      index++;
    }
    ;
    String[] array = basicSymbols(app);
    for (int i = 0; i < basicSymbolsMap(app).length; i++) {
      array[i] = basicSymbolsMap(app)[i][1];
    }
    for (int i = 0; i < extraTooltips.size(); i++) {
      array[i + basicSymbolsMap(app).length] = extraTooltips.get(i);
    }
    return array;
  };