Miscellany

if (prefs.prefHasUserValue("Xtense.settings.autohide") &&
          prefs.getBoolPref("Xtense.settings.autohide")==true ) {
			if (!Xtense_IsOGameDomain(doc.location.href)) {
        		document.getElementById('Xtense-Toolbar').collapsed = true;
			} else {
        		document.getElementById('Xtense-Toolbar').collapsed = false;
			}
		} else {
			if (!Xtense_IsOGameDomain(doc.location.href)) return;
		}