288289290291292293294295296297298
* Verzeichnis. */ private void ladeGraphen() { File verz = new File(this.pars.getStdPfad()); String endung = fmg.fmg8.graphVis.Konstanten.GRAPH_ENDUNG; String[] gespGr = verz.list(new DateiFilter(endung)); String graphName; Vis graphFenster; if (gespGr != null) { for (int i = 0; i < gespGr.length; i++) {
13661367136813691370137113721373137413751376
dia = new FileDialog(this, "Automatendarstellung als PNG " + "speichern", FileDialog.SAVE); dia.setFilenameFilter(new DateiFilter("png")); dia.setVisible(true); if (!(dia.getDirectory() == null) && !(dia.getFile() == null)) {