p_notify("");
}
}
+
+function prefslist_callback() {
+ var container = document.getElementById('prefContent');
+ if (xmlhttp.readyState == 4) {
+
+ container.innerHTML=xmlhttp.responseText;
+
+ p_notify("");
+ }
+}
+
+
+
function notify_callback() {
var container = document.getElementById('notify');
if (xmlhttp.readyState == 4) {
xmlhttp.send(null);
}
+function updatePrefsList() {
+
+ if (!xmlhttp_ready(xmlhttp)) {
+ printLockingError();
+ return
+ }
+
+ p_notify("Loading, please wait...");
+
+ xmlhttp.open("GET", "backend.php?op=pref-prefs", true);
+ xmlhttp.onreadystatechange=prefslist_callback;
+ xmlhttp.send(null);
+
+}
+
function selectTab(id) {
if (id == "feedConfig") {
updateFilterList();
} else if (id == "labelConfig") {
updateLabelList();
+ } else if (id == "genConfig") {
+ updatePrefsList();
}
var tab = document.getElementById(active_tab + "Tab");
<input id="labelConfigTab" class="prefsTab" type="submit" value="Label Editor"
onclick="selectTab('labelConfig')">
<? } ?>
+ <input id="genConfigTab" class="prefsTab" type="submit" value="User Preferences"
+ onclick="selectTab('genConfig')">
+
</td>
<td class="prefsToolbar" valign="middle" align="right">
<input type="submit" onclick="gotoMain()" class="button" value="Return to main">