From 556c8746f60875d5fbf3cf78c9cc8977d1398128 Mon Sep 17 00:00:00 2001 From: tophf Date: Sat, 7 Mar 2015 06:07:25 +0300 Subject: [PATCH] New style edit: search in all code sections --- edit.js | 1 + 1 file changed, 1 insertion(+) diff --git a/edit.js b/edit.js index f775ddc7..0ad4fbbf 100644 --- a/edit.js +++ b/edit.js @@ -284,6 +284,7 @@ function init() { document.getElementById("enabled").checked = true document.title = t("addStyleTitle"); tE("heading", "addStyleTitle"); + setupGlobalSearch(); return; } // This is an edit