Released v5.13.2

HISTORY.md

@@ -3,14 +3,14 @@
 https://github.com/josdejong/jsoneditor
 
 
-## not yet released, version 5.13.2
+## 2018-01-18, version 5.13.2
 
 - Fixed view mode opening links in a new tab instead of current tab
   when Ctrl key is not down. Thanks @LEW21.
 - Fixed #502: code editor not showing a monospaced font some cases.
 
 
-## 2018-12-28, version 5.13.1
+## 2017-12-28, version 5.13.1
 
 - Fixed another occurrence of #494: properties not escaped in the
   navigation bar.

dist/jsoneditor-minimalist.js

@@ -24,8 +24,8 @@
  * Copyright (c) 2011-2017 Jos de Jong, http://jsoneditoronline.org
  *
  * @author  Jos de Jong, <wjosdejong@gmail.com>
- * @version 5.13.1
- * @date    2017-12-28
+ * @version 5.13.2
+ * @date    2018-01-18
  */
 (function webpackUniversalModuleDefinition(root, factory) {
 	if(typeof exports === 'object' && typeof module === 'object')
@@ -6631,7 +6631,6 @@ return /******/ (function(modules) { // webpackBootstrap
 	      // create a link in case of read-only editor and value containing an url
 	      domValue = document.createElement('a');
 	      domValue.href = this.value;
-	      domValue.target = '_blank';
 	      domValue.innerHTML = this._escapeHTML(this.value);
 	    }
 	    else {
@@ -10471,7 +10470,7 @@ return /******/ (function(modules) { // webpackBootstrap
 	}\
 	\
 	.ace-jsoneditor.ace_editor {\
-	font-family: droid sans mono, consolas, monospace, courier new, courier, sans-serif;\
+	font-family: \"dejavu sans mono\", \"droid sans mono\", consolas, monaco, \"lucida console\", \"courier new\", courier, monospace, sans-serif;\
 	line-height: 1.3;\
 	background-color: #fff;\
 	}\

dist/jsoneditor.css

@@ -310,7 +310,7 @@ div.jsoneditor td,
 div.jsoneditor th,
 div.jsoneditor textarea,
 .jsoneditor-schema-error {
-  font-family: droid sans mono, consolas, monospace, courier new, courier, sans-serif;
+  font-family: "dejavu sans mono", "droid sans mono", consolas, monaco, "lucida console", "courier new", courier, monospace, sans-serif;
   font-size: 10pt;
   color: #1A1A1A;
 }
@@ -974,7 +974,7 @@ div.jsoneditor div.autocomplete.dropdown {
   padding-right: 5pt;
   text-align: left;
   outline: 0;
-  font-family: droid sans mono, consolas, monospace, courier new, courier, sans-serif;
+  font-family: "dejavu sans mono", "droid sans mono", consolas, monaco, "lucida console", "courier new", courier, monospace, sans-serif;
   font-size: 10pt;
 }
 

dist/jsoneditor.js

@@ -24,8 +24,8 @@
  * Copyright (c) 2011-2017 Jos de Jong, http://jsoneditoronline.org
  *
  * @author  Jos de Jong, <wjosdejong@gmail.com>
- * @version 5.13.1
- * @date    2017-12-28
+ * @version 5.13.2
+ * @date    2018-01-18
  */
 (function webpackUniversalModuleDefinition(root, factory) {
 	if(typeof exports === 'object' && typeof module === 'object')
@@ -14177,7 +14177,6 @@ return /******/ (function(modules) { // webpackBootstrap
 	      // create a link in case of read-only editor and value containing an url
 	      domValue = document.createElement('a');
 	      domValue.href = this.value;
-	      domValue.target = '_blank';
 	      domValue.innerHTML = this._escapeHTML(this.value);
 	    }
 	    else {
@@ -38301,7 +38300,7 @@ return /******/ (function(modules) { // webpackBootstrap
 	}\
 	\
 	.ace-jsoneditor.ace_editor {\
-	font-family: droid sans mono, consolas, monospace, courier new, courier, sans-serif;\
+	font-family: \"dejavu sans mono\", \"droid sans mono\", consolas, monaco, \"lucida console\", \"courier new\", courier, monospace, sans-serif;\
 	line-height: 1.3;\
 	background-color: #fff;\
 	}\

package.json

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