-
Notifications
You must be signed in to change notification settings - Fork 56
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
allow pasting Activities using paste command #5454
base: devel
Are you sure you want to change the base?
Conversation
⛔ Feature branch deployment currently inactive.If the PR is still open, you can add the |
change local variable-name
change local varibale name
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
If no clipboard sharing is granted when copying, the behavior is strange.
If you copy an activity and then paste it with Ctrl+V, the dialog does not show that its contents are copied.
Options:
a) Do not copy deeply
b) Make it transparent that deep copying is taking place.
fixes #5085