michael@0: function test() {
michael@0:   for (let i = 0; i < 9; i++)
michael@0:     gBrowser.addTab();
michael@0: 
michael@0:   var isLinux = navigator.platform.indexOf("Linux") == 0;
michael@0:   for (let i = 9; i >= 1; i--) {
michael@0:     EventUtils.synthesizeKey(i.toString(), { altKey: isLinux, accelKey: !isLinux });
michael@0: 
michael@0:     is(gBrowser.tabContainer.selectedIndex, (i == 9 ? gBrowser.tabs.length : i) - 1,
michael@0:        (isLinux ? "Alt" : "Accel") + "+" + i + " selects expected tab");
michael@0:   }
michael@0: 
michael@0:   gBrowser.selectTabAtIndex(-3);
michael@0:   is(gBrowser.tabContainer.selectedIndex, gBrowser.tabs.length - 3,
michael@0:      "gBrowser.selectTabAtIndex(-3) selects expected tab");
michael@0: 
michael@0:   for (let i = 0; i < 9; i++)
michael@0:     gBrowser.removeCurrentTab();
michael@0: }