Released v5.13.1

HISTORY.md

@@ -3,7 +3,7 @@
 https://github.com/josdejong/jsoneditor
 
 
-## not yet released, version 5.13.1
+## 2018-12-18, version 5.13.1
 
 - Fixed another occurrence of #494: properties not escaped in the
   navigation bar.

dist/jsoneditor-minimalist.js

@@ -24,7 +24,7 @@
  * Copyright (c) 2011-2017 Jos de Jong, http://jsoneditoronline.org
  *
  * @author  Jos de Jong, <wjosdejong@gmail.com>
- * @version 5.13.0
+ * @version 5.13.1
  * @date    2017-12-28
  */
 (function webpackUniversalModuleDefinition(root, factory) {
@@ -1392,7 +1392,9 @@ return /******/ (function(modules) { // webpackBootstrap
 	  }
 
 	  function getName(node) {
-	    return node.fieldInnerText || node.field || (isNaN(node.index) ? node.type : node.index);
+	    return node.field !== undefined
+	        ? node._escapeHTML(node.field)
+	        : (isNaN(node.index) ? node.type : node.index);
 	  }
 	};
 

dist/jsoneditor.js

@@ -24,7 +24,7 @@
  * Copyright (c) 2011-2017 Jos de Jong, http://jsoneditoronline.org
  *
  * @author  Jos de Jong, <wjosdejong@gmail.com>
- * @version 5.13.0
+ * @version 5.13.1
  * @date    2017-12-28
  */
 (function webpackUniversalModuleDefinition(root, factory) {
@@ -8938,7 +8938,9 @@ return /******/ (function(modules) { // webpackBootstrap
 	  }
 
 	  function getName(node) {
-	    return node.fieldInnerText || node.field || (isNaN(node.index) ? node.type : node.index);
+	    return node.field !== undefined
+	        ? node._escapeHTML(node.field)
+	        : (isNaN(node.index) ? node.type : node.index);
 	  }
 	};
 

package.json

@@ -1,6 +1,6 @@
 {
   "name": "jsoneditor",
-  "version": "5.13.0",
+  "version": "5.13.1",
   "main": "./index",
   "description": "A web-based tool to view, edit, format, and validate JSON",
   "tags": [