Add search addon

2025-12-13 17:56:25 +00:00 · 2017-07-09 22:46:23 +09:00
parent f9836fd66e
commit 684c3f64aa
2 changed files with 6 additions and 2 deletions
--- 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()