filter editor: focus match inputbox on show

diff --git a/prefs.js b/prefs.js
index 0979426de94c549fefd71685571891da03d173ec..b3a055c003b848cb856237ef35eed732047b3c00 100644 (file)
--- 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);