Open-Editors diff editor title & drag-and-drop

[gbodeen]

Bug Description:

I noticed a couple missing features in the new Open Editors view:

1. Diff editors do not show up with the correct title in Open Editors view of the explorer widget:

It should have the correct title.

2. The items in the Open Editors view can be dragged and appears as though they can be dropped, but the drag-and-dropped editor does not get moved to the new position.

It should either disallow drag-and-drop or move the dragged file to the new position. (VS Code does the latter.)

Steps to Reproduce:

1. Build. Open the Explorer widget. Right-click the EXPLORER header at the top of the widget and turn on the Open Editors feature. Open several files in the editor.
2. Right-click one of the files in the Open Editors view and choose Select for Compare. Right-click another and choose Compare with Selected. The diff window should open, and will be displayed also in the Open Editors view but with the wrong title.
3. Click and drag one of the files in the Open Editors view and try to move it to a different position within that view.

Additional Information

• Operating System: RHEL7
• Theia Version: 1.15.0