[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: |
Fri, 14 Oct 2022 07:12:42 +0000 |
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.
Best,
Qiantan
> On Oct 14, 2022, at 12:01 AM, Po Lu <luangruo@yahoo.com> wrote:
>
> Qiantan Hong <qthong@stanford.edu> writes:
>
>> Hi,
>>
>> Is there any chance to get this merged now?
>>
>> Best,
>> Qiantan
>
> I don't see the patch. :(
- 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 <=
- 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, 2022/10/16
- Re: [PATCH] Add user content APIs for WebKit Xwidgets, Qiantan Hong, 2022/10/16