diff --git a/prefs.js b/prefs.js index 3296ee66..b6270a6d 100644 --- a/prefs.js +++ b/prefs.js @@ -275,7 +275,20 @@ function localPiggieFunction(enable) { } function init() { - + + // IE kludge + + if (xmlhttp && !xmlhttp_rpc) { + xmlhttp_rpc = xmlhttp; + } + + if (!xmlhttp || !xmlhttp_rpc) { + document.getElementById("prefContent").innerHTML = + "Fatal error: This program needs XmlHttpRequest " + + "to function properly. Your browser doesn't seem to support it."; + return; + } + updateFeedList(); document.onkeydown = hotkey_handler; notify(""); diff --git a/prefs.php b/prefs.php index 56624b6f..d9c21953 100644 --- a/prefs.php +++ b/prefs.php @@ -27,7 +27,7 @@ - +

Feed Configuration