New style edit: search in all code sections

2015-03-07 06:07:25 +03:00 · 2015-03-07 06:07:25 +03:00 · 556c8746f6
commit 556c8746f6
parent eb9cc20d58
1 changed files with 1 additions and 0 deletions
--- 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