Skip to content

Clean up copy/paste #3589

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

Merged
merged 6 commits into from
Nov 24, 2024
Merged

Clean up copy/paste #3589

merged 6 commits into from
Nov 24, 2024

Conversation

amolenaar
Copy link
Member

@amolenaar amolenaar commented Nov 24, 2024

PR Type

What kind of change does this PR introduce?

  • Bug fix
  • Feature
  • Chore (refactoring, formatting, local variables, other cleanup)
  • Documentation content changes

What is the current behavior?

We have a special copy service.

Issue Number: N/A

What is the new behavior?

This refactoring makes copy/paste work directly on the diagram. This is more in line with how widgets like Gtk.Entry work.

The copy service is gone.

Does this PR introduce a breaking change?

  • Yes
  • No

Other information

@github-actions github-actions bot added the python Pull requests that update Python code label Nov 24, 2024
This widget will allow us to implement copy/paste at the
right level in the widget hierarchy.
@amolenaar amolenaar force-pushed the fix-copy-paste branch 2 times, most recently from b367b8c to 25f2507 Compare November 24, 2024 16:50
No more window level actions.
This is more in line with how default widgets like text entry work.
@danyeaw danyeaw added chore Maintenance related PR and removed python Pull requests that update Python code labels Nov 24, 2024
Copy link
Member

@danyeaw danyeaw left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks nice cleanup @amolenaar!

@danyeaw danyeaw merged commit 7f58f74 into main Nov 24, 2024
22 checks passed
@danyeaw danyeaw deleted the fix-copy-paste branch November 24, 2024 23:04
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
chore Maintenance related PR
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants