[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PATCH] Add user content APIs for WebKit Xwidgets
From: |
Qiantan Hong |
Subject: |
Re: [PATCH] Add user content APIs for WebKit Xwidgets |
Date: |
Mon, 24 Oct 2022 05:44:01 +0000 |
>> Currently, I store the ALIST of handlers on xwidget-plist. If we're
>> going to have it for groups of related Xwidgets, what is the best
>> place to store it? On the xwidget-plist of the head xwidget?
>
> In a C data structure (not the plist!) attached to the "head" xwidget.
> It does not have to be accessible to Lisp.
>
>> Or we should add another slot and provide xwidget-group-plist and
>> set-xwidget-group-plist, which will only have non-NULL value on the
>> head xwidget and is migrated automatically?
>
> What slot?
>
> I don't think it has to be exposed to Lisp at all. It's just an
> implementation detail, after all.
Sure. In that case, would it be appropriate for the script_message_cb
to call the handler directly? Or should it emit an event and let
xwidget-webkit-callback call it on Lisp side? I'm not sure how well
does the former approach (which is more direct) interact with error
handling/Lisp debugger.
- Re: [PATCH] Add user content APIs for WebKit Xwidgets, (continued)
- Re: [PATCH] Add user content APIs for WebKit Xwidgets, Po Lu, 2022/10/16
- Re: [PATCH] Add user content APIs for WebKit Xwidgets, Qiantan Hong, 2022/10/16
- Re: [PATCH] Add user content APIs for WebKit Xwidgets, Po Lu, 2022/10/16
- Re: [PATCH] Add user content APIs for WebKit Xwidgets, Po Lu, 2022/10/16
- Re: [PATCH] Add user content APIs for WebKit Xwidgets, Qiantan Hong, 2022/10/23
- Re: [PATCH] Add user content APIs for WebKit Xwidgets, Po Lu, 2022/10/23
- Re: [PATCH] Add user content APIs for WebKit Xwidgets, Qiantan Hong, 2022/10/23
- Re: [PATCH] Add user content APIs for WebKit Xwidgets, Po Lu, 2022/10/23
- Re: [PATCH] Add user content APIs for WebKit Xwidgets, Qiantan Hong, 2022/10/24
- Re: [PATCH] Add user content APIs for WebKit Xwidgets, Po Lu, 2022/10/24
- Re: [PATCH] Add user content APIs for WebKit Xwidgets,
Qiantan Hong <=
- Re: [PATCH] Add user content APIs for WebKit Xwidgets, Po Lu, 2022/10/24
- Re: [PATCH] Add user extension APIs for WebKit Xwidgets, Richard Stallman, 2022/10/16
- Re: [PATCH] Add user extension APIs for WebKit Xwidgets, Alan Mackenzie, 2022/10/16
- Re: [PATCH] Add user extension APIs for WebKit Xwidgets, Richard Stallman, 2022/10/18
- Re: [PATCH] Add user extension APIs for WebKit Xwidgets, Eli Zaretskii, 2022/10/17
- Re: [PATCH] Add user extension APIs for WebKit Xwidgets, Jean Louis, 2022/10/17
- Re: [PATCH] Add user extension APIs for WebKit Xwidgets, Richard Stallman, 2022/10/19
- Re: [PATCH] Add user extension APIs for WebKit Xwidgets, Eli Zaretskii, 2022/10/19
- Re: [PATCH] Add user extension APIs for WebKit Xwidgets, Richard Stallman, 2022/10/20
- Re: [PATCH] Add user extension APIs for WebKit Xwidgets, Eli Zaretskii, 2022/10/21