[prev] [thread] [next] [lurker] [Date index for 2007/03/16]
* Michael G Schwern <schwern@xxxxx.xxx> [2007-03-16 01:20]: > Speaking of tabs, can I say what a horribly bad idea putting a > tiny little "close" button on a tiny little tab is? It's actually a preferrable UI style for casual users. The two styles have very different affordances. That said, I made a beeline for the config setting to turn them off again. > Fortunately Tab Mix Plus can take it back out again (and > configure it in all sorts of interesting ways). Yay extensible > UI! Boo dangerous defaults! You can control that using `browser.tabs.closeButtons` -- no need for an extension. > And the best part is, there's no undo! You can retrieve them from History -> Recently Closed Tabs though. I think there even was an unclose-tab function somewhere, but it's well hidden; I only stumbled onto it accidentally and now I can't remember or rediscover what obscure gesture invokes it. Or maybe I hallucinated it -- I'm sufficiently sleep-deprived lately that this may have happened. Regards, -- Aristotle Pagaltzis // <http://plasmasturm.org/>;There's stuff above here
Generated at 14:02 on 20 Mar 2007 by mariachi 0.52