Wasser-Sounds verfeinert

This commit is contained in:
2026-08-22 20:16:48 +02:00
parent f26a15b3b0
commit e4a41d1a0a
12 changed files with 428 additions and 35 deletions

View File

@@ -128,7 +128,6 @@ public class EditorApp extends Application {
private StackPane plantPreviewPanel; // einmaliges Vorschau-Panel für alle Generatoren
private Stage primaryStage;
private JmeEditorApp jmeApp;
private AudioPreviewPopup audioPreviewPopup;
// Baum-Generator-Zustand (wird beim Preset-Wechsel neu gesetzt)
private TreeParams treeParams = TreeParams.oak();
@@ -5345,8 +5344,12 @@ public class EditorApp extends Application {
input.animPreviewLoadPath = relPath;
if (animPreviewStatusLabel != null) animPreviewStatusLabel.setText("Lade…");
} else if (cat == audioNode && relPath.endsWith(".ogg")) {
if (audioPreviewPopup == null) audioPreviewPopup = new AudioPreviewPopup();
audioPreviewPopup.open(p);
try {
new ProcessBuilder("xdg-open", p.toAbsolutePath().toString())
.start();
} catch (Exception ex) {
log.warn("[Audio] xdg-open fehlgeschlagen: {}", ex.getMessage());
}
setStatus("" + relPath);
} else if (relPath.endsWith(".animset.json")) {
openAnimSetEditor(relPath, p);