Tab rename fix — double click to enter rename mode

[chaosarium]

Fixes #16

New issues:

• Dragging tab in edit mode causes weird behaviours
• Using mouse click to move input cursor doesn't work on Firefox (arrow keys still work), but works on Chrome
• File extension can be changed despite popup warning
• Pressing enter in edit mode doesn't complete the edit

Potential fixes

• Set draggable = "true" to draggable = "false" on div.ant-tabs-nav-list > div temporarily while editing tab name
• Either:
  • show the .c0 extension in a separate tag wile editing
  • update current tab name extension enforcement
  • Allow any extension but only run c0 code (probably the way to go since we're now allowing c1 and o0.
• Somehow listen to the enter key in edit mode

[MarkChenYutian]

Is it possible that we only setState when the user has finished editing (a.k.a. stopEditing is triggered)?

In that case, we will be able to enforce the file extension check (if not ending in .c0, .c1, we reject the rename).

[MarkChenYutian]

Also, just curious, what is the "wired behavior" of draggable tab when editing file names?

[chaosarium]

Update:

• A rename will be rejected if it doesn't end in .c0 or .c1
• Name check only happens after rename input looses focus
• Pressing enter key ends rename

Dragging tab issue is Firefox specific and should probably go into another issue if critical.