You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
When dragging a file form the OS file explorer into a text editor, we should either paste the contents of the dragged file into the editor or open the file in a new editor. Right now, we do both. VS Code differentiates between the cases by pasting if the shift key is pressed during drop.
Steps to Reproduce:
Open a text editor
Drag a text file into the editor: note that you get a visual indication of the drop location
Drop the file
Observe: the file contents are pasted at the drop location, but also a new editor with the dropped file is opened.
Additional Information
Operating System: Win 11
Theia Version: 1.39.0 master
The text was updated successfully, but these errors were encountered:
Bug Description:
When dragging a file form the OS file explorer into a text editor, we should either paste the contents of the dragged file into the editor or open the file in a new editor. Right now, we do both. VS Code differentiates between the cases by pasting if the
shift
key is pressed during drop.Steps to Reproduce:
Additional Information
The text was updated successfully, but these errors were encountered: