Released v5.5.1

HISTORY.md

@@ -3,7 +3,7 @@
 https://github.com/josdejong/jsoneditor
 
 
-## not yet released, version 5.5.1
+## 2016-04-16, version 5.5.1
 
 - Fixed enum select boxes not being rendered/removed when setting or removing
   a JSON schema via `editor.setSchema(schema)`.

dist/jsoneditor-minimalist.js

@@ -24,7 +24,7 @@
  * Copyright (c) 2011-2016 Jos de Jong, http://jsoneditoronline.org
  *
  * @author  Jos de Jong, <wjosdejong@gmail.com>
- * @version 5.5.0
+ * @version 5.5.1
  * @date    2016-04-16
  */
 (function webpackUniversalModuleDefinition(root, factory) {
@@ -382,12 +382,15 @@ return /******/ (function(modules) { // webpackBootstrap
 	      // validate now
 	      this.validate();
 	    }
+
+	    this.refresh(); // update DOM
 	  }
 	  else {
 	    // remove current schema
 	    this.validateSchema = null;
 	    this.options.schema = null;
 	    this.validate(); // to clear current error messages
+	    this.refresh();  // update DOM
 	  }
 	};
 
@@ -399,6 +402,13 @@ return /******/ (function(modules) { // webpackBootstrap
 	  // must be implemented by treemode and textmode
 	};
 
+	/**
+	 * Refresh the rendered contents
+	 */
+	JSONEditor.prototype.refresh = function () {
+	  // can be implemented by treemode and textmode
+	};
+
 	/**
 	 * Register a plugin with one ore multiple modes for the JSON Editor.
 	 *
@@ -912,6 +922,15 @@ return /******/ (function(modules) { // webpackBootstrap
 	      });
 	};
 
+	/**
+	 * Refresh the rendered contents
+	 */
+	treemode.refresh = function () {
+	  if (this.node) {
+	    this.node.updateDom({recurse: true});
+	  }
+	};
+
 	/**
 	 * Start autoscrolling when given mouse position is above the top of the
 	 * editor contents, or below the bottom.

dist/jsoneditor.js

@@ -24,7 +24,7 @@
  * Copyright (c) 2011-2016 Jos de Jong, http://jsoneditoronline.org
  *
  * @author  Jos de Jong, <wjosdejong@gmail.com>
- * @version 5.5.0
+ * @version 5.5.1
  * @date    2016-04-16
  */
 (function webpackUniversalModuleDefinition(root, factory) {
@@ -382,12 +382,15 @@ return /******/ (function(modules) { // webpackBootstrap
 	      // validate now
 	      this.validate();
 	    }
+
+	    this.refresh(); // update DOM
 	  }
 	  else {
 	    // remove current schema
 	    this.validateSchema = null;
 	    this.options.schema = null;
 	    this.validate(); // to clear current error messages
+	    this.refresh();  // update DOM
 	  }
 	};
 
@@ -399,6 +402,13 @@ return /******/ (function(modules) { // webpackBootstrap
 	  // must be implemented by treemode and textmode
 	};
 
+	/**
+	 * Refresh the rendered contents
+	 */
+	JSONEditor.prototype.refresh = function () {
+	  // can be implemented by treemode and textmode
+	};
+
 	/**
 	 * Register a plugin with one ore multiple modes for the JSON Editor.
 	 *
@@ -8811,6 +8821,15 @@ return /******/ (function(modules) { // webpackBootstrap
 	      });
 	};
 
+	/**
+	 * Refresh the rendered contents
+	 */
+	treemode.refresh = function () {
+	  if (this.node) {
+	    this.node.updateDom({recurse: true});
+	  }
+	};
+
 	/**
 	 * Start autoscrolling when given mouse position is above the top of the
 	 * editor contents, or below the bottom.

package.json

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