-
Notifications
You must be signed in to change notification settings - Fork 2.5k
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Copy pasting a file in the same directory #4794
Comments
I know the duplicate option exists, maybe it could be possible to trigger this action in this particular case? |
Yes, I just verified and calling the |
@toonvd also, do you think the behavior of
|
It would be nice if we could align this, if you duplicate it multiple times it adds _2 anyways. |
Sure, I can help you out if you ever have any questions |
@toonvd Is it confusing somehow? The issue is that your browser does not support programmatic paster, so we cannot trigger it from the code. Only you can do it via browser menu -> paste. |
Hi @akosyakov The problem was I tested it via browser menu -> paste and it still did not have the desired effect. EG, copy paste of a file in the same folder should result in a duplicate like in VSCode. The "Please use the browser's paste command or shortcut." warning itself was clear enough for me. P.s. mentioned Vince by accident :3 |
ok, if you align it with VS Code it would be great |
I believe this has been fixed by #10767. |
Description
Copy pasting a file in the same directory should either rename it (.1, .2) or ask for a new name before adding it. In the browser I get either "Please use the browser's paste command or shortcut." or nothing.
Reproduction Steps
Copy paste
OS and Theia version:
Ubuntu v0.5.0
The text was updated successfully, but these errors were encountered: