mirror of
https://github.com/ultimatepp/ultimatepp.git
synced 2026-05-15 06:05:58 -06:00
[PR #160] [MERGED] Ide: Licenses should be copied on demand #195
Labels
No labels
pull-request
No milestone
No project
No assignees
1 participant
Notifications
Due date
No due date set.
Dependencies
No dependencies set.
Reference: github-starred/ultimatepp#195
Loading…
Add table
Add a link
Reference in a new issue
No description provided.
Delete branch "%!s()"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
📋 Pull Request Information
Original PR: https://github.com/ultimatepp/ultimatepp/pull/160
Author: @klugier
Created: 8/13/2023
Status: ✅ Merged
Merged: 8/13/2023
Merged by: @mirek-fidler
Base:
master← Head:klugier/copy-license-on-demand📝 Commits (1)
2dd880aIde: Stat dialog do not copy content to the cliboard automaticaly.📊 Changes
2 files changed (+5 additions, -2 deletions)
View changed files
📝
uppsrc/ide/ide.lay(+1 -0)📝
uppsrc/ide/idetool.cpp(+4 -2)📄 Description
Some time ago, one of our users complained about the issue that whenever he opened the "Statistics" or "Project Licenses" dialog, the clipboard content had been replaced. This operation should only be executed on demand. The PR addresses this issue by adding the "Copy to clipboard" option to the Stat dialog.
🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.