Comment 12 for bug 246448

I've finished off my patch, you can now double click a tab label to edit it. If you change it to something other than what it was before, it will always stay as that text. To have it go back to automatically following what the shell tells it to, simply edit it again and clear it completely.
This is committed to trunk in revision 705.