remove obsolete userSwitch()

18 years ago · 6b8bbd1dae
parent 2a8504cd39
commit 6b8bbd1dae
2 changed files with 0 additions and 12 deletions
--- a/prefs.js
+++ b/prefs.js
@ -1635,12 +1635,6 @@ function pref_hotkey_handler(e) {
 	}
 }
 function userSwitch() {
 	var chooser = document.getElementById("userSwitch");
 	var user = chooser[chooser.selectedIndex].value;
 	window.location = "prefs.php?swu=" + user;
 }
 function editFeedCats() {
 	if (!xmlhttp_ready(xmlhttp)) {
 		printLockingError();
--- a/tt-rss.js
+++ b/tt-rss.js
@ -638,12 +638,6 @@ function catchupCurrentFeed() {
 	}
 }
 function userSwitch() {
 	var chooser = document.getElementById("userSwitch");
 	var user = chooser[chooser.selectedIndex].value;
 	window.location = "tt-rss.php?swu=" + user;
 }
 function editFeedDlg(feed) {
 	try {