|
From: | Eli Zaretskii |
Subject: | bug#43633: 28.0.50; Include definitions in glossary for: extensible, customizable, self-documenting, real-time display editor |
Date: | Mon, 28 Sep 2020 09:32:16 +0300 |
> From: Richard Stallman <rms@gnu.org> > Date: Sun, 27 Sep 2020 23:47:39 -0400 > Cc: 43633@debbugs.gnu.org > > What do others think? Should we delete the "display" in "display editor"? It was already deleted.
[Prev in Thread] | Current Thread | [Next in Thread] |