[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: |
Thu, 20 Oct 2022 15:46:30 -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. ]]]
> That section fails to suggest good replacements for this term,
> AFAICT.
It suggests "works" and "publications."
I will add "messages", because in some context that is the category
of things that people are referring to.
> And, of course, we frequently say stuff like "file's contents" or
> "buffer contents", which is perfectly OK, IMO. This usage is not
> mentioned in that article, so someone, especially non-native speakers,
> could think such uses are part of the problem -- perhaps another minor
> issue that should be mentioned there, but isn't.
I will add text about that in
https://gnu.org/philosophy/words-to-avoid.html. Thanks.
--
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 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 <=
- 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, 2022/10/23