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 @@ + + +