[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PATCH] Add user extension APIs for WebKit Xwidgets
From: |
Eli Zaretskii |
Subject: |
Re: [PATCH] Add user extension APIs for WebKit Xwidgets |
Date: |
Wed, 19 Oct 2022 22:06:23 +0300 |
> From: Richard Stallman <rms@gnu.org>
> Cc: eliz@gnu.org, emacs-devel@gnu.org
> Date: Wed, 19 Oct 2022 13:04:21 -0400
>
> > The description on
> > https://gnu.org/philosophy/words-to-avoid.html#Content speaks of works
> > and publications, thus it does not relate to file contents or buffer
> > contents which is something else but work or publication.
>
> That's correct. Indeed, these are two different usages: one is
> "content" and the other is "contents". "Contents" is used in regard
> to one specific work, and there is no problem with that usage.
>
> "Content" is an abstraction use to generalkize and equate _all_
> publications and communications, of whatever kind of medium.
> The range of generalization is what makes it a problem.
IME, non-native English speakers frequently don't distinguish between
"content" and "contents", and use the former when they mean the
latter. That's why I made my comment, and that's why I also think the
article should take that into account, so it avoids one possible
confusion.
- 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 <=
- 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, 2022/10/23