filter editor: focus match inputbox on show

14 years ago · 538fce8bfe
parent 4462c1ada2
commit 538fce8bfe
1 changed files with 1 additions and 0 deletions
--- a/prefs.js
+++ b/prefs.js
@ -378,6 +378,7 @@ function editFilter(id) {
 			parameters: query,
 			onComplete: function(transport) {
 					infobox_callback2(transport);
+					document.forms['filter_edit_form'].reg_exp.focus();
 				} });
 	} catch (e) {
 		exception_error("editFilter", e);