add export SVG options

eclipse-sprotty · Jul 10, 2024 · 7416e64 · 7416e64
1 parent c8a23c3
commit 7416e64
Showing 1 changed file with 8 additions and 0 deletions.
diff --git a/org.eclipse.sprotty/src/main/java/org/eclipse/sprotty/Actions.xtend b/org.eclipse.sprotty/src/main/java/org/eclipse/sprotty/Actions.xtend
@@ -502,6 +502,7 @@ class RequestExportSvgAction implements RequestAction<ExportSvgAction> {
 	public static val KIND = 'requestExportSvg'
 	String kind = KIND
 
+	ExportSvgOptions options
 	String requestId
 
 	new() {}
@@ -510,6 +511,13 @@ class RequestExportSvgAction implements RequestAction<ExportSvgAction> {
 	}
 }
 
+@Accessors
+@EqualsHashCode
+@ToString(skipNulls = true)
+class ExportSvgOptions {
+	boolean skipCopyStyles
+}
+
 /**
  * Answer to a <code>RequestExportSvgAction</code>.
  *