Merge pull request #686 from asmsuechan/add-search-box

Add search-box
2025-12-25 23:51:51 +00:00 · 2017-07-09 17:15:57 +09:00
parent e50a1172d6 d5f82943cf
commit c0f05695fe
4 changed files with 14 additions and 0 deletions
--- 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()