From 684c3f64aaf5102650200e013d6146260e7a92e1 Mon Sep 17 00:00:00 2001 From: asmsuechan Date: Sun, 9 Jul 2017 22:46:23 +0900 Subject: [PATCH] Add search addon --- browser/components/CodeEditor.js | 1 - lib/main.html | 7 ++++++- 2 files changed, 6 insertions(+), 2 deletions(-) diff --git a/browser/components/CodeEditor.js b/browser/components/CodeEditor.js index 80b56df9..1714e281 100644 --- a/browser/components/CodeEditor.js +++ b/browser/components/CodeEditor.js @@ -57,7 +57,6 @@ export default class CodeEditor extends React.Component { keyMap: this.props.keyMap, inputStyle: 'textarea', dragDrop: false, - searchbox: true, extraKeys: { Tab: function (cm) { const cursor = cm.getCursor() diff --git a/lib/main.html b/lib/main.html index 4d34fee3..c76d49e0 100644 --- a/lib/main.html +++ b/lib/main.html @@ -7,6 +7,7 @@ + Boostnote