File tree Expand file tree Collapse file tree 2 files changed +48
-0
lines changed
extensions/configuration-editing/schemas Expand file tree Collapse file tree 2 files changed +48
-0
lines changed Original file line number Diff line number Diff line change 403
403
}
404
404
},
405
405
"additionalProperties" : false
406
+ },
407
+ "customizations" : {
408
+ "type" : " object" ,
409
+ "additionalProperties" : {
410
+ "type" : " object" ,
411
+ "additionalProperties" : true
412
+ },
413
+ "description" : " Tool-specific configuration. Each tool should use a JSON object subproperty with a unique name to group its customizations."
406
414
}
407
415
},
408
416
"required" : [
806
814
}
807
815
},
808
816
"additionalProperties" : false
817
+ },
818
+ "customizations" : {
819
+ "type" : " object" ,
820
+ "additionalProperties" : {
821
+ "type" : " object" ,
822
+ "additionalProperties" : true
823
+ },
824
+ "description" : " Tool-specific configuration. Each tool should use a JSON object subproperty with a unique name to group its customizations."
809
825
}
810
826
},
811
827
"required" : [
1175
1191
}
1176
1192
},
1177
1193
"additionalProperties" : false
1194
+ },
1195
+ "customizations" : {
1196
+ "type" : " object" ,
1197
+ "additionalProperties" : {
1198
+ "type" : " object" ,
1199
+ "additionalProperties" : true
1200
+ },
1201
+ "description" : " Tool-specific configuration. Each tool should use a JSON object subproperty with a unique name to group its customizations."
1178
1202
}
1179
1203
},
1180
1204
"required" : [
1518
1542
}
1519
1543
},
1520
1544
"additionalProperties" : false
1545
+ },
1546
+ "customizations" : {
1547
+ "type" : " object" ,
1548
+ "additionalProperties" : {
1549
+ "type" : " object" ,
1550
+ "additionalProperties" : true
1551
+ },
1552
+ "description" : " Tool-specific configuration. Each tool should use a JSON object subproperty with a unique name to group its customizations."
1521
1553
}
1522
1554
},
1523
1555
"required" : [
1826
1858
}
1827
1859
},
1828
1860
"additionalProperties" : false
1861
+ },
1862
+ "customizations" : {
1863
+ "type" : " object" ,
1864
+ "additionalProperties" : {
1865
+ "type" : " object" ,
1866
+ "additionalProperties" : true
1867
+ },
1868
+ "description" : " Tool-specific configuration. Each tool should use a JSON object subproperty with a unique name to group its customizations."
1829
1869
}
1830
1870
},
1831
1871
"additionalProperties" : false
Original file line number Diff line number Diff line change 306
306
}
307
307
}
308
308
]
309
+ },
310
+ "customizations" : {
311
+ "type" : " object" ,
312
+ "additionalProperties" : {
313
+ "type" : " object" ,
314
+ "additionalProperties" : true
315
+ },
316
+ "description" : " Tool-specific configuration. Each tool should use a JSON object subproperty with a unique name to group its customizations."
309
317
}
310
318
}
311
319
},
You can’t perform that action at this time.
0 commit comments