Merge pull request #696 from asmsuechan/replace-cm-searchbox-to-official-search-addon

Replace cm searchbox to official search addon
2026-01-27 23:57:17 +00:00 · 2017-07-10 14:21:47 +09:00
parent 4ff73ede59 5ff5ec6a71
commit 849aa05d76
4 changed files with 6 additions and 7 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()