-
Notifications
You must be signed in to change notification settings - Fork 204
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
Call window close at com-exit
#3004
Comments
Interesting, it appears |
So perhaps we should change it to have an inner backend |
It's nearly impossible for me to track this down, because using the Walker will cause a segmentation fault at certain points. |
Paper debugging by logic
or [ . ] with-global style stdout print debugging
You can’t currently debug the UI with the UI
…On Mon, May 27, 2024 at 10:35 AM nomennescio ***@***.***> wrote:
It's nearly impossible for me to track this down, because using the Walker
will cause a segmentation fault at certain points.
How do you debug this?
—
Reply to this email directly, view it on GitHub
<#3004 (comment)>,
or unsubscribe
<https://github.com/notifications/unsubscribe-auth/AAAF5A4CDEMKDUBEB433QJDZENVFFAVCNFSM6AAAAABILNRTPGVHI2DSMVQWIX3LMV43OSLTON2WKQ3PNVWWK3TUHMZDCMZTHA3DQNRTHE>
.
You are receiving this because you were mentioned.Message ID:
***@***.***>
|
Ye olde printf debugging |
Paper debugging is how I usually do it, however in this case the whole UI stack is relatively new to me, so will take significant time to work through. Have to pass on that for now. |
It would be cool to have it drop into the command line debugger but I *think* there are some issues due to using the main thread to pump the UI, but would make a nice contribution. On May 27, 2024, at 10:37 AM, nomennescio ***@***.***> wrote:
Ye olde printf debugging
—Reply to this email directly, view it on GitHub, or unsubscribe.You are receiving this because you were mentioned.Message ID: ***@***.***>
|
You know, I think it's sort of "working".
|
I couldn't check what the ungraft-later did, but then we would need to wait for it run. |
I mean we could also enqueue a |
I think it all has to do with the whole native handling of windows, where you need to post messages and do stuff async, that we need to do things |
the |
so why not just:
plus flushing the graft/ungraft queues? |
Perhaps want to do the current way but also flush queues so you don’t
ungraft twice.
…On Mon, May 27, 2024 at 12:31 PM nomennescio ***@***.***> wrote:
so why not just:
: ungraft-now ( gadget -- )
dup [ ungraft-now ] each-child ungraft* ;
plus flushing the graft/ungraft queues?
—
Reply to this email directly, view it on GitHub
<#3004 (comment)>,
or unsubscribe
<https://github.com/notifications/unsubscribe-auth/AAAF5A4TCDDNZLGM34ZDL6LZEOC2RAVCNFSM6AAAAABILNRTPGVHI2DSMVQWIX3LMV43OSLTON2WKQ3PNVWWK3TUHMZDCMZTHE3TANRRHA>
.
You are receiving this because you were mentioned.Message ID:
***@***.***>
|
This calls |
It does now work on Windows with |
Windows close button works now too! |
And It seems the whole feature is now working as expected! |
Ctrl-D works on windows |
Not really, it keeps the windows open. I noticed your revert. Pity you don't want an alias for the user to type. Seemed like a good solution to me. |
Ctrl-D works consistently on all platforms. OS-specific commands (Cmd-Q / Alt-F4) work also. Users can make their own words if they want that. |
This was about having a command to type. (for those people that expect such a command to exists. e.g. when starting factor from a shell) |
When
CTRL-Q
or similar is pressed in the UI,com-exit
is called, which currently has:However, this fails to close Window, which would prevent some code to dispose of resources to be triggered.
@mrjbq7 suggested:
The text was updated successfully, but these errors were encountered: