Improve JSON serialization

ValentaTomas · ValentaTomas · commit 9efb30351a1e · 2024-05-01T22:27:24.000-07:00
diff --git a/js/src/messaging.ts b/js/src/messaging.ts
@@ -191,7 +191,7 @@ export class Result {
       latex: this.latex,
       json: this.json,
       javascript: this.javascript,
-      extra: this.extra
+      ...(Object.keys(this.extra).length > 0 ? { extra: this.extra } : {})
     }
   }
 }

Original file line number	Diff line number	Diff line change
`@@ -191,7 +191,7 @@ export class Result {`
`191`	`191`	`latex: this.latex,`
`192`	`192`	`json: this.json,`
`193`	`193`	`javascript: this.javascript,`
`194`		`- extra: this.extra`
	`194`	`+ ...(Object.keys(this.extra).length > 0 ? { extra: this.extra } : {})`
`195`	`195`	`}`
`196`	`196`	`}`
`197`	`197`	`}`