changed: use prompt for grep

main.js

@@ -1650,19 +1650,10 @@ function showgrepresult(grepresult)
 
 function showgrep()
 {
-	filteredlist.hidden = true;
+	var text = prompt("Search:");
-	searchdialog.hidden = false;
+	if (text)
-	filter.focus();
-	filter.select();
-
-	filter.onkeydown = function()
 	{
-		if (event.key === "Enter")
+		showgrepresult(grep(text));
-		{
-			event.preventDefault();
-			searchdialog.hidden = true;
-			showgrepresult(grep(filter.value));
-		}
 	}
 }