Assegnate 5 su 5 stelle

di Tony Mechelynck il Nov. 18, 2011 · link permanente

This extension (which works even in SeaMonkey 2.8a1 if I override compatibility checking) allows me to jump easily and fast to any of my about 200 open tabs (at the moment), in conjunction with the following userChrome.css rules to remove the all-tabs button on the tab bar (where real estate is in high demand) and replace long menus' scrollbuttons by a scrollbar (so I can scroll them faster):

/*
* hide all-tabs-button on tab bar in favour of Tabs Menu extension on menubar
* Gecko 2, 2010-12-29 and later
*/
tabbrowser:not(#tabmail) .tabs-alltabs-button
{ display: none !important
}
/*
* give the menus a scrollbar when they are too high to be
* displayed in full
*/
menupopup scrollbox, #contentAreaContextMenu scrollbox
{ overflow-y: auto !important
}
/*
* eliminate scroll buttons at top and bottom of the menus
*/
menupopup autorepeatbutton, #contentAreaContextMenu autorepeatbutton
{ display: none !important
}

I love it.