rework tab appearance, various interface improvements

1 files changed, 0 insertions, 27 deletions

diff --git a/prefs.js b/prefs.js
index a0348f926..bc6e8667f 100644
--- a/prefs.js
+++ b/prefs.js
@@ -145,22 +145,6 @@ function userlist_callback() {
 	}
 }
 
-function infobox_callback() {
-	if (xmlhttp.readyState == 4) {
-		var box = document.getElementById('infoBox');
-		var shadow = document.getElementById('infoBoxShadow');
-		if (box) {			
-			box.innerHTML=xmlhttp.responseText;			
-			if (shadow) {
-				shadow.style.display = "block";
-			} else {
-				box.style.display = "block";				
-			}
-		}
-	}
-}
-
-
 function prefslist_callback() {
 	var container = document.getElementById('prefContent');
 	if (xmlhttp.readyState == 4) {
@@ -1346,17 +1330,6 @@ function init() {
 	}
 }
 
-function closeInfoBox() {
-	var box = document.getElementById('infoBox');
-	var shadow = document.getElementById('infoBoxShadow');
-
-	if (shadow) {
-		shadow.style.display = "none";
-	} else if (box) {
-		box.style.display = "none";
-	}
-}
-
 function categorizeSelectedFeeds() {
 
 	if (!xmlhttp_ready(xmlhttp)) {