Fixed lint issue

This commit is contained in:
Ashish Jain
2024-08-12 11:19:53 +02:00
parent 3b2bb5a6ec
commit 2352137f6b

View File

@@ -94,7 +94,7 @@ interface Edge {
labelStyle?: string[]; labelStyle?: string[];
minlen?: number; minlen?: number;
pattern?: string; pattern?: string;
thickness?: 'normal' | 'thick' | 'invisible'; thickness?: 'normal' | 'thick' | 'invisible' | 'dotted';
look?: string; look?: string;
} }