[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PATCH] Add user extension APIs for WebKit Xwidgets
From: |
Richard Stallman |
Subject: |
Re: [PATCH] Add user extension APIs for WebKit Xwidgets |
Date: |
Sun, 23 Oct 2022 15:14:07 -0400 |
[[[ To any NSA and FBI agents reading my email: please consider ]]]
[[[ whether defending the US Constitution against all enemies, ]]]
[[[ foreign or domestic, requires you to follow Snowden's example. ]]]
> Thanks. But I think this doesn't cover well the electronic media:
> audio, video, and images.
The words "works" and "publications" include all kinds of media,
includinmg audio and video. "Works" is a normal term for artists'
paintings and photos, and all sorts of music.
I added a few more suggestions that might fit certain circumstances.
I also explained that "contents" is a fine word to use because
it means something different. I checked in the changes just now in
https://gnu.org/philosophy/words-to-avoid.html.
> Here, "content" refers to the contents of the web view widget. That is,
> the contents of the relevant system and graphics memory.
This would be a place to use the word "contents".
--
Dr Richard Stallman (https://stallman.org)
Chief GNUisance of the GNU Project (https://gnu.org)
Founder, Free Software Foundation (https://fsf.org)
Internet Hall-of-Famer (https://internethalloffame.org)
- Re: [PATCH] Add user extension APIs for WebKit Xwidgets, (continued)
- 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, 2022/10/21
- Re: [PATCH] Add user extension APIs for WebKit Xwidgets,
Richard Stallman <=