Example #1
0
  /** Textual description of key */
  public String getKeyDesc() {
    if (types.isEmpty()) return "";
    else return types.get(0).getKeyDesc();

    // TODO: GUI need to handle several keys

  }