From bb010c225388604b423ad70a9d8203dc2cd3cc56 Mon Sep 17 00:00:00 2001
From: Mihai Bazon <mihai.bazon@gmail.com>
Date: Thu, 19 Mar 2015 10:10:01 +0200
Subject: [PATCH] tools/props.html: output complete JSON

---
 tools/props.html | 10 +++++++---
 1 file changed, 7 insertions(+), 3 deletions(-)

diff --git a/tools/props.html b/tools/props.html
index ff09a8da..576e1436 100644
--- a/tools/props.html
+++ b/tools/props.html
@@ -42,9 +42,13 @@
       ta.style.width = "100%";
       ta.style.height = "20em";
       ta.style.boxSizing = "border-box";
-      ta.value = Object.keys(props).sort(cmp).map(function(name){
-        return JSON.stringify(name);
-      }).join(",\n");
+      <!-- ta.value = Object.keys(props).sort(cmp).map(function(name){ -->
+      <!--   return JSON.stringify(name); -->
+      <!-- }).join(",\n"); -->
+      ta.value = JSON.stringify({
+        vars: [],
+        props: Object.keys(props).sort(cmp)
+      }, null, 2);
       document.body.appendChild(ta);
 
       function cmp(a, b) {
-- 
2.34.1