From 88ae6dfac11d24e39343bde72f29c3fb07cad44d Mon Sep 17 00:00:00 2001
From: Tim Kuipers <t.kuipers@ultimaker.com>
Date: Mon, 24 Aug 2015 13:55:38 +0200
Subject: [PATCH] JSON: polygon or polygons objects should now have "type":
 "polygon"

---
 resources/settings/fdmprinter.json | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/resources/settings/fdmprinter.json b/resources/settings/fdmprinter.json
index 6a91a43eab..4c3b8943a3 100644
--- a/resources/settings/fdmprinter.json
+++ b/resources/settings/fdmprinter.json
@@ -40,6 +40,7 @@
             "default": "RepRap"
         },
         "machine_disallowed_areas": {
+            "type": "polygons",
             "default": []
         },
         "machine_platform_offset": {
@@ -50,6 +51,7 @@
             ]
         },
         "machine_head_polygon": {
+            "type": "polygon",
             "default": [
                 [
                     -1,
@@ -71,6 +73,7 @@
         },
         "machine_head_with_fans_polygon":
         {
+            "type": "polygon",
             "default": [
                 [
                     -20,