michael@0: function press(key, expectedPos) {
michael@0:   var originalSelectedTab = gBrowser.selectedTab;
michael@0:   EventUtils.synthesizeKey("VK_" + key.toUpperCase(), { accelKey: true });
michael@0:   is(gBrowser.selectedTab, originalSelectedTab,
michael@0:      "accel+" + key + " doesn't change which tab is selected");
michael@0:   is(gBrowser.tabContainer.selectedIndex, expectedPos,
michael@0:      "accel+" + key + " moves the tab to the expected position");
michael@0:   is(document.activeElement, gBrowser.selectedTab,
michael@0:      "accel+" + key + " leaves the selected tab focused");
michael@0: }
michael@0: 
michael@0: function test() {
michael@0:   gBrowser.addTab();
michael@0:   gBrowser.addTab();
michael@0:   is(gBrowser.tabs.length, 3, "got three tabs");
michael@0:   is(gBrowser.tabs[0], gBrowser.selectedTab, "first tab is selected");
michael@0: 
michael@0:   gBrowser.selectedTab.focus();
michael@0:   is(document.activeElement, gBrowser.selectedTab, "selected tab is focused");
michael@0: 
michael@0:   press("right", 1);
michael@0:   press("down", 2);
michael@0:   press("left", 1);
michael@0:   press("up", 0);
michael@0:   press("end", 2);
michael@0:   press("home", 0);
michael@0: 
michael@0:   gBrowser.removeCurrentTab();
michael@0:   gBrowser.removeCurrentTab();
michael@0: }