JSON: polygon or polygons objects should now have "type": "polygon"

This commit is contained in:
Tim Kuipers 2015-08-24 13:55:38 +02:00
parent 7f15505f01
commit 88ae6dfac1

View file

@ -40,6 +40,7 @@
"default": "RepRap" "default": "RepRap"
}, },
"machine_disallowed_areas": { "machine_disallowed_areas": {
"type": "polygons",
"default": [] "default": []
}, },
"machine_platform_offset": { "machine_platform_offset": {
@ -50,6 +51,7 @@
] ]
}, },
"machine_head_polygon": { "machine_head_polygon": {
"type": "polygon",
"default": [ "default": [
[ [
-1, -1,
@ -71,6 +73,7 @@
}, },
"machine_head_with_fans_polygon": "machine_head_with_fans_polygon":
{ {
"type": "polygon",
"default": [ "default": [
[ [
-20, -20,