Allowing users to rename tabs lets them give concise and meaningful labels. This makes it easier to distinguish between tabs because, unlike the trace file names (which tend to be long), user written labels are more likely to fit inside narrow tabs without being cut off.

Examples of useful tab names:

• Crash A (Server 1), Crash A (Server 2)
• Before update, After update
• Baseline, Change A, Change B

Requirements:

• Changes made to the tab name shouldn't change the trace file name (or the trace group name).
• If the user clicks away while editing, the tab is renamed to what they typed.
• If the user hasn't typed anything, the tab keeps the previous name.

CC: @ssmagula