[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PATCH] Add user extension APIs for WebKit Xwidgets
From: |
Po Lu |
Subject: |
Re: [PATCH] Add user extension APIs for WebKit Xwidgets |
Date: |
Fri, 21 Oct 2022 14:02:32 +0800 |
User-agent: |
Gnus/5.13 (Gnus v5.13) |
Eli Zaretskii <eliz@gnu.org> writes:
> Thanks. But I think this doesn't cover well the electronic media:
> audio, video, and images.
Here, "content" refers to the contents of the web view widget. That is,
the contents of the relevant system and graphics memory.
I fail to see how the "content" in "content manager" has any kind of
semantic implication about when not to use the word "content".
- Re: [PATCH] Add user content APIs for WebKit Xwidgets, (continued)
- 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
- Re: [PATCH] Add user extension APIs for WebKit Xwidgets,
Po Lu <=
- Re: [PATCH] Add user extension APIs for WebKit Xwidgets, Richard Stallman, 2022/10/23