is(tab.parentNode, null, "ctrl+w removes the tab");
is(gBrowser.tabs.length, 1, "a new tab has been opened");
is(
document.activeElement,
gURLBar.inputField, "location bar is focused for the new tab"
);
if (Services.prefs.prefHasUserValue("browser.tabs.closeWindowWithLastTab")) {
Services.prefs.clearUserPref("browser.tabs.closeWindowWithLastTab");
}
});
Die Informationen auf dieser Webseite wurden
nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit,
noch Qualität der bereit gestellten Informationen zugesichert.
Bemerkung:
Die farbliche Syntaxdarstellung und die Messung sind noch experimentell.