Skip to content
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.

Sign up for GitHub

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

Jump to bottom

issue-835: Fix could not paste from clipboard issue only on Windows #834

Merged
merged 1 commit into from
Jun 8, 2023
Merged

issue-835: Fix could not paste from clipboard issue only on Windows #834

merged 1 commit into from
Jun 8, 2023

Conversation

djelinek
Copy link
Collaborator

@djelinek djelinek commented Jun 8, 2023

Before submitting your PR, please review the following checklist:

  • CONSIDER adding a new test if your PR resolves an issue.
  • DO keep pull requests small so they can be easily reviewed.
  • DO make sure tests pass.
  • DO make sure any public APIs changes are documented.
  • DO make sure not to introduce any compiler warnings.

Before merging the PR:

  • CHECK continous integration of main branch is green.
  • CHECK pull request check job is green.
  • CHECK all pull request questions/requests are resolved.
  • WAIT till PR is approved by at least 1 committer.

@djelinek djelinek force-pushed the issue-winClipboard branch 3 times, most recently from 6d7434f to e5b8bb0 Compare June 8, 2023 10:17
@djelinek djelinek changed the title Fix clipboard issue on Windows issue-835: Fix could not paste from clipboard issue only on Windows Jun 8, 2023
@djelinek djelinek linked an issue Jun 8, 2023 that may be closed by this pull request
[Bug] Could not paste from clipboard issue only on Windows #835
Closed
2 tasks
@djelinek djelinek force-pushed the issue-winClipboard branch from e5b8bb0 to 2564a8d Compare June 8, 2023 10:31
@djelinek djelinek force-pushed the issue-winClipboard branch from 2564a8d to 3941a4d Compare June 8, 2023 10:42
@djelinek djelinek marked this pull request as ready for review June 8, 2023 10:57
@djelinek djelinek merged commit 5f63988 into redhat-developer:main Jun 8, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

[Bug] Could not paste from clipboard issue only on Windows
1 participant
@djelinek