Add search-box

2025-12-13 17:56:25 +00:00 · 2017-07-07 17:59:01 +09:00
parent ccb9752254
commit 96a020341d
4 changed files with 9 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()