Rename tabs

Double-click a tab (or press F2) to rename it inline: Enter confirms, Escape cancels, and an empty name is refused.

• Actions.renameTab
• enableRename
• Tab onDoubleClick