[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: |
Sat, 15 Oct 2022 01:37:30 +0000 |
Ah sorry for the noise, please don’t merge yet. I only tested it on NS before
and only tried it on GTK just now. It is broken on GTK. Will fix soon.
Best,
Qiantan
> On Oct 14, 2022, at 2:13 PM, Qiantan Hong <qthong@stanford.edu> wrote:
>
> Hi,
>
> Here’s the updated patch.
> <0001-Implment-some-user-content-APIs-for-WebKit-Xwidgets.txt>
>
> Best,
> Qiantan
>
>
>
>> On Oct 14, 2022, at 12:35 AM, Po Lu <luangruo@yahoo.com> wrote:
>>
>> Qiantan Hong <qthong@stanford.edu> writes:
>>
>>> Ah sorry, I’m replying to a really ancient thread in 2020, the patch is at
>>> https://lists.gnu.org/archive/html/emacs-devel/2020-08/txtNrEQRJNtgd.txt
>>>
>>> I hope the patch is still applicable… If it’s not I’ll find sometime this
>>> weekend to update it.
>>
>> Thanks. Please do that, and also fix the coding style to comply with
>> our coding guidelines.
>
- 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/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 <=
- 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, 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