From 96a020341db4c3be318daf393ca2ab45d802716c Mon Sep 17 00:00:00 2001 From: asmsuechan Date: Fri, 7 Jul 2017 17:59:01 +0900 Subject: [PATCH] Add search-box --- browser/components/CodeEditor.js | 1 + lib/main.html | 3 +++ package.json | 1 + yarn.lock | 4 ++++ 4 files changed, 9 insertions(+) diff --git a/browser/components/CodeEditor.js b/browser/components/CodeEditor.js index 1714e281..80b56df9 100644 --- a/browser/components/CodeEditor.js +++ b/browser/components/CodeEditor.js @@ -57,6 +57,7 @@ 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 f98e15f7..8512056f 100644 --- a/lib/main.html +++ b/lib/main.html @@ -64,6 +64,9 @@ + + +