From 71275b34f0ff7d87350e860ccb9be57f268f0ca9 Mon Sep 17 00:00:00 2001
From: Max Brunsfeld <maxbrunsfeld@gmail.com>
Date: Wed, 10 Jul 2019 14:43:05 -0500
Subject: [PATCH] Show field names in wasm playground

---
 docs/assets/js/playground.js | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

diff --git a/docs/assets/js/playground.js b/docs/assets/js/playground.js
index 6801d699..4d02c2ea 100644
--- a/docs/assets/js/playground.js
+++ b/docs/assets/js/playground.js
@@ -135,7 +135,13 @@ let tree;
           const start = cursor.startPosition;
           const end = cursor.endPosition;
           const id = cursor.nodeId;
-          row = `<div>${'  '.repeat(indentLevel)}<a class='plain' href="#" data-id=${id} data-range="${start.row},${start.column},${end.row},${end.column}">${displayName}</a> [${start.row}, ${start.column}] - [${end.row}, ${end.column}])`;
+          let fieldName = cursor.currentFieldName();
+          if (fieldName) {
+            fieldName += ': ';
+          } else {
+            fieldName = '';
+          }
+          row = `<div>${'  '.repeat(indentLevel)}${fieldName}<a class='plain' href="#" data-id=${id} data-range="${start.row},${start.column},${end.row},${end.column}">${displayName}</a> [${start.row}, ${start.column}] - [${end.row}, ${end.column}])`;
           finishedRow = true;
         }