quenousimporte
/
notes
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

changed: grep defaults selection

This commit is contained in:
quenousimporte 2023-12-06 09:25:29 +01:00
parent ac43ce031a
commit 27f77603ae
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
main.js
View File

@ -1691,7 +1691,7 @@ function showgrepresult(needle, grepresult)
function showgrep() function showgrep()
{ {
var text = prompt("Search:"); var text = prompt("Search:", md.selectionEnd > md.selectionStart ? md.value.substr(md.selectionStart, md.selectionEnd - md.selectionStart).trim() : "");
if (text) if (text)
{ {
showgrepresult(text, grep(text)); showgrepresult(text, grep(text));