This commit is contained in:
github-actions-bot
2021-06-06 23:18:03 +00:00
parent 1fdc76aee6
commit 31750d8510
198 changed files with 359 additions and 307 deletions

View File

@@ -93,7 +93,7 @@ export type GraphEdge = {
label?: string;
id?: string;
color?: string;
dashes?: boolean;
style?: "solid" | "dashed" | "dotted";
};
export type GridVisualizationData = {
@@ -143,12 +143,38 @@ export type MonacoTextVisualizationData = {
* The text to show
*/
text: string;
decorations?: ({
range: LineColumnRange;
label?: string;
})[];
/**
* An optional filename that might be used for chosing a syntax highlighter
*/
fileName?: string;
};
export type LineColumnRange = {
/**
* The start position
*/
start: LineColumnPosition;
/**
* The end position
*/
end: LineColumnPosition;
};
export type LineColumnPosition = {
/**
* The 0-based line number
*/
line: number;
/**
* The 0-based column number
*/
column: number;
};
export type MonacoTextDiffVisualizationData = {
kind: {
text: true;