[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PATCH] Add user content APIs for WebKit Xwidgets
From: |
Po Lu |
Subject: |
Re: [PATCH] Add user content APIs for WebKit Xwidgets |
Date: |
Sun, 16 Oct 2022 12:32:30 +0800 |
User-agent: |
Gnus/5.13 (Gnus v5.13) |
Qiantan Hong <qthong@stanford.edu> writes:
> Some existing code in xwidget.c use this naming as well.
> Should I make a separate patch to fix those?
No, I'd rather avoid extraneous style changes to existing contents of
the file. At the very least it makes vc-annotate a pain.
> Should I also include the fix to some capitalization error
> and the runtime symbol usage in that same patch?
BTW, there are many other problems with your patch, aside from
capitalization and interning symbols with a static string. Please read
through the entirety of my reply.
> How do I mark it?
I suggest linking each callback data struct into a list, each element of
which is then marked in a "mark_xwidget" function that should be called
by garbage_collect in alloc.c.
> I’m imitating the usage pattern of what is already in nsxwidget.m.
> I think if I’m leaking memory then the current code must also have been
> (which could be the case)...
I guess that should be fixed.
Thanks.
- Re: [PATCH] Add user content APIs for WebKit Xwidgets, (continued)
- Re: [PATCH] Add user content APIs for WebKit Xwidgets, Po Lu, 2022/10/14
- Re: [PATCH] Add user content APIs for WebKit Xwidgets, Qiantan Hong, 2022/10/14
- Re: [PATCH] Add user content APIs for WebKit Xwidgets, Po Lu, 2022/10/14
- Re: [PATCH] Add user content APIs for WebKit Xwidgets, Qiantan Hong, 2022/10/15
- Re: [PATCH] Add user content APIs for WebKit Xwidgets, Qiantan Hong, 2022/10/15
- Re: [PATCH] Add user content APIs for WebKit Xwidgets, Qiantan Hong, 2022/10/15
- Re: [PATCH] Add user content APIs for WebKit Xwidgets, Po Lu, 2022/10/15
- Re: [PATCH] Add user content APIs for WebKit Xwidgets, Qiantan Hong, 2022/10/15
- Re: [PATCH] Add user content APIs for WebKit Xwidgets, Po Lu, 2022/10/15
- 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 <=
- 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, 2022/10/24