mirror of
https://github.com/ultimatepp/ultimatepp.git
synced 2026-05-15 14:16:07 -06:00
[GH-ISSUE #27] TheIDE is not building and this can fix it #10
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#10
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?
Originally created by @mingodad on GitHub (Jan 5, 2021).
Original GitHub issue: https://github.com/ultimatepp/ultimatepp/issues/27
I just cloned this repo and when trying to build it stops with the error below and with the changes show bellow I could make it build:
@mingodad commented on GitHub (Jan 5, 2021):
Thinking a bit about it, probably the best fix is to add a
Cancelbutton toGetPasskeyDlg.And also check for the user select option !
@klugier commented on GitHub (Jan 5, 2021):
Yes, we should definitely support cancellation. Here is the commit that breaks the build
9c0efcd795. @mirek-fidler can you look at this problem?Of course many thanks for reporting problem!
@klugier commented on GitHub (Jan 16, 2021):
TheIDE is build-able again - closing issue...