|
30 | 30 | "configuration": {
|
31 | 31 | "title": "DGMLViewer",
|
32 | 32 | "properties": {
|
33 |
| - "dgmlViewer.dgmlViewer.defaultNodeBackgroundColor": { |
| 33 | + "dgmlViewer.defaultNodeBackgroundColor": { |
34 | 34 | "type": "string",
|
35 | 35 | "default": "#D2E5FF",
|
36 | 36 | "description": "The color of the nodes of the directed graph. The string should be in rgb format."
|
37 | 37 | },
|
38 |
| - "dgmlViewer.dgmlViewer.edgeArrowToType": { |
| 38 | + "dgmlViewer.edgeArrowToType": { |
39 | 39 | "type": "string",
|
40 | 40 | "default": "triangle",
|
41 | 41 | "enum": [
|
|
53 | 53 | ],
|
54 | 54 | "description": "The default ending of the edges."
|
55 | 55 | },
|
56 |
| - "dgmlViewer.dgmlViewer.nodeShape": { |
| 56 | + "dgmlViewer.nodeShape": { |
57 | 57 | "type": "string",
|
58 | 58 | "default": "box",
|
59 | 59 | "enum": [
|
|
72 | 72 | ],
|
73 | 73 | "description": "The shape of the nodes in the directed graph. Notice that 'ellipse','circle','database','box' and 'text' have the label inside the shape, the rest have the label outside the shape."
|
74 | 74 | },
|
75 |
| - "dgmlViewer.dgmlViewer.graphSelectionGuidelineColor": { |
| 75 | + "dgmlViewer.graphSelectionGuidelineColor": { |
76 | 76 | "type": "string",
|
77 | 77 | "default": "blue",
|
78 | 78 | "description": "The color of the guidelines used when selecting part of a directed graph. The string should be in rgba format or standard css color names."
|
79 | 79 | },
|
80 |
| - "dgmlViewer.dgmlViewer.graphSelectionGuidelineWidth": { |
| 80 | + "dgmlViewer.graphSelectionGuidelineWidth": { |
81 | 81 | "type": "number",
|
82 | 82 | "default": "1",
|
83 | 83 | "description": "The width of the guide lines shown when selecting part of a directed graph"
|
84 | 84 | },
|
85 |
| - "dgmlViewer.dgmlViewer.graphSelectionColor": { |
| 85 | + "dgmlViewer.graphSelectionColor": { |
86 | 86 | "type": "string",
|
87 | 87 | "default": "red",
|
88 | 88 | "description": "The color of the selection rectangle used when selecting part of a directed graph. The string should be in rgba format or standard css color names."
|
89 | 89 | },
|
90 |
| - "dgmlViewer.dgmlViewer.graphSelectionWidth": { |
| 90 | + "dgmlViewer.graphSelectionWidth": { |
91 | 91 | "type": "number",
|
92 | 92 | "default": "2",
|
93 | 93 | "description": "The width of the selection rectangle shown when selecting part of a directed graph"
|
94 | 94 | },
|
95 |
| - "dgmlViewer.dgmlViewer.pngFilename": { |
| 95 | + "dgmlViewer.pngFilename": { |
96 | 96 | "type": "string",
|
97 | 97 | "default": "DirectedGraph.png",
|
98 | 98 | "description": "The default name used when saving the directed graph to a Png file."
|
|
0 commit comments