fix(#53): fix for response editor search issue

This commit is contained in:
Anusree Subash 2022-10-30 16:47:04 +05:30
parent 820c99711b
commit 14645d1d5f

View File

@ -38,7 +38,7 @@ export default class QueryEditor extends React.Component {
showCursorWhenSelecting: true, showCursorWhenSelecting: true,
foldGutter: true, foldGutter: true,
gutters: ['CodeMirror-linenumbers', 'CodeMirror-foldgutter'], gutters: ['CodeMirror-linenumbers', 'CodeMirror-foldgutter'],
readOnly: this.props.readOnly ? 'nocursor' : false, readOnly: this.props.readOnly,
theme: this.props.theme === 'dark' ? 'monokai' : 'default', theme: this.props.theme === 'dark' ? 'monokai' : 'default',
extraKeys: { extraKeys: {
'Cmd-Enter': () => { 'Cmd-Enter': () => {
@ -61,6 +61,8 @@ export default class QueryEditor extends React.Component {
this.props.onSave(); this.props.onSave();
} }
}, },
'Cmd-F': 'findPersistent',
'Ctrl-F': 'findPersistent',
Tab: function (cm) { Tab: function (cm) {
cm.replaceSelection(' ', 'end'); cm.replaceSelection(' ', 'end');
} }