implement better loading of pref trees

diff --git a/prefs.php b/prefs.php
index 15eddfd53bbc2de562b7178c4d7acd953950a2c1..ea531e2c6943eebddb52c67023990cb9fd682674 100644 (file)
--- a/prefs.php
+++ b/prefs.php
@@ -57,6 +57,7 @@
                                "lib/scriptaculous/scriptaculous.js?load=effects,dragdrop,controls",
                                "lib/dojo/dojo.js",
                                "lib/dijit/dijit.js",
+                               "lib/CheckBoxTree.js",
                                "lib/dojo/tt-rss-layer.js",
                                "errors.php?mode=js") as $jsfile) {
 
@@ -76,7 +77,7 @@
                        }
                }
 
-               print get_minified_js(array("functions", "deprecated", "prefs"));
+               print get_minified_js(array("functions", "deprecated", "prefs", "PrefFeedTree", "PrefFilterTree", "PrefLabelTree"));
 
                init_js_translations();
        ?>