|
| From: | Po Lu |
| Subject: | Re: [PATCH] Add user content APIs for WebKit Xwidgets |
| Date: | Sun, 16 Oct 2022 14:45:04 +0800 |
| User-agent: | Gnus/5.13 (Gnus v5.13) |
Po Lu <luangruo@yahoo.com> writes:
> Where? Existing code should not connect signals to anything other than
> `widget_osr' which is destroyed upon the xwidget being killed, a
> prerequisite for being marked by GC.
^^^^^^
That should've been "destroyed", sorry.
| [Prev in Thread] | Current Thread | [Next in Thread] |