Hello,<div><br></div><div>This is probably a minor note, but one feature of some recent tabbed interfaces (Chrome) that I quite like is deferring the auto-resize of tabs after one is closed until either a delay or the mouse leaves the tab area. This makes subsequent actions (either selection or further closes) more pleasant, because you don't have moving targets, which can cause accidental actions.</div>
<div><br></div><div>Pretty low priority, obviously, but I thought I would bring it up because I've been opening and closing lots of tabs today.</div><div><br></div><div>-MinRK</div><div><br></div>