[Feature request] Ability to double-click tabs to rename (low priority)

[vatterspun]

Current behavior: right click a tab and select properties to open another window and give the tabs a title

Requested behavior: double click a tab and fill in the text