r/p5.js-web-editor
1
0
Fork 0
Code Issues 1 Pull requests Releases 1 Wiki Activity

fix #1246, Find modal does not select input text on second Command + F

Browse source
This commit is contained in:
amitch6097 2020-01-23 19:50:28 -05:00
parent 3357af6df9
commit 2bd08483de
1 changed files with 1 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
client/utils/codemirror-search.js
View file

@ -143,6 +143,7 @@ export default function(CodeMirror) {
}
} else {
searchField.focus();
searchField.select();
}
}