Piktogramme in Media-Inhalten, Tool-Tipps, Auswahl in Media-Inhalten

ulrich

2021-04-07 7c22a2a2f3568841b0830e4339bdb6f8ec69262f

 src/de/uhilger/mediaz/store/FileStorage.java

@@ -148,12 +148,14 @@
  public List<String> list(String typ) {
    File base = new File(fileBase);
    File dir = new File(base, typ);
    File[] files = dir.listFiles();
    List<String> list = new ArrayList();
    for(File file : files) {
      //NamedItem n = new NamedItem();
      //n.setLabel(file.getName());
      list.add(file.getName());
    File[] files = dir.listFiles();
    if(files != null) {
      for(File file : files) {
        //NamedItem n = new NamedItem();
        //n.setLabel(file.getName());
        list.add(file.getName());
      }
    }
    return list;
  }