From b4c02f9a3fc03f820c8a87db28fa7b909fe57565 Mon Sep 17 00:00:00 2001
From: jos <wjosdejong@gmail.com>
Date: Fri, 15 Jan 2016 19:41:51 +0100
Subject: [PATCH] Fixed #255: Removed wrong console warning about the option
 `search`

---
 HISTORY.md           | 5 +++++
 src/js/JSONEditor.js | 2 +-
 2 files changed, 6 insertions(+), 1 deletion(-)

diff --git a/HISTORY.md b/HISTORY.md
index 9cb4f3b..61a8fc5 100644
--- a/HISTORY.md
+++ b/HISTORY.md
@@ -3,6 +3,11 @@
 https://github.com/josdejong/jsoneditor
 
 
+## not yet released, version 5.1.1
+
+- Fixed #255: Removed wrong console warning about the option `search`.
+
+
 ## 2016-01-14, version 5.1.0
 
 - Implemented support for JSON schema validation, powered by `ajv`.
diff --git a/src/js/JSONEditor.js b/src/js/JSONEditor.js
index 21f08bd..a09c779 100644
--- a/src/js/JSONEditor.js
+++ b/src/js/JSONEditor.js
@@ -77,7 +77,7 @@ function JSONEditor (container, options, json) {
         'ace', 'theme',
         'ajv', 'schema',
         'onChange', 'onEditable', 'onError', 'onModeChange',
-        'escapeUnicode', 'history', 'mode', 'modes', 'name', 'indentation'
+        'escapeUnicode', 'history', 'search', 'mode', 'modes', 'name', 'indentation'
       ];
 
       Object.keys(options).forEach(function (option) {