html exporter fixed

This commit is contained in:
2026-06-18 22:06:57 +02:00
parent 5894303510
commit d93d36e8ad
4 changed files with 72 additions and 38 deletions

View File

@@ -12,6 +12,8 @@ public class ExportOptions {
boolean renderChoicesAsDiamonds = true;
@Builder.Default
boolean embedIdentifiers = false;
@Builder.Default
boolean includeMetadataPane = true;
@Builder.Default
EnumFormat eventFormat = EnumFormat.fn;