From 1e65dd199010f7718b61780659f4093f7837c155 Mon Sep 17 00:00:00 2001 From: Henning Dieterichs Date: Tue, 6 Oct 2020 23:33:01 +0200 Subject: [PATCH] Updates common data types. --- data-extraction/src/CommonDataTypes.ts | 19 +++++++++++++++++++ 1 file changed, 19 insertions(+) diff --git a/data-extraction/src/CommonDataTypes.ts b/data-extraction/src/CommonDataTypes.ts index f3dd9ae..e1d2015 100644 --- a/data-extraction/src/CommonDataTypes.ts +++ b/data-extraction/src/CommonDataTypes.ts @@ -9,6 +9,7 @@ export type KnownVisualizationData = | GridVisualizationData | ImageVisualizationData | MonacoTextVisualizationData + | MonacoTextDiffVisualizationData | TableVisualizationData | PlotlyVisualizationData | SimpleTextVisualizationData @@ -162,6 +163,24 @@ export type MonacoTextVisualizationData = { fileName?: string; }; +export type MonacoTextDiffVisualizationData = { + kind: { + text: true; + }; + /** + * The text to show + */ + text: string; + /** + * The text to compare against + */ + otherText: string; + /** + * An optional filename that might be used for chosing a syntax highlighter + */ + fileName?: string; +}; + export type TableVisualizationData = { kind: { table: true;