changeset 31672:c9430c9cda2e stable

NEWS.8.md: Clarify that the new terminal widget is experimental. * etc/NEWS.8.md: Clarify that the new terminal widget is experimental and how to use it.
author Markus Mützel <markus.muetzel@gmx.de>
date Mon, 19 Dec 2022 15:26:48 +0100
parents 4058dd350ea1
children 6327dab37002 e3b0fac6acde
files etc/NEWS.8.md
diffstat 1 files changed, 5 insertions(+), 2 deletions(-) [+]
line wrap: on
line diff
--- a/etc/NEWS.8.md	Fri Dec 16 15:56:15 2022 -0500
+++ b/etc/NEWS.8.md	Mon Dec 19 15:26:48 2022 +0100
@@ -45,8 +45,11 @@
 - The GUI has a dark style and several new icons in toolbars for better
   visibility and higher contrast.
 
-- The GUI also has a new terminal widget, and comes with more fonts for the
-  documentation browser.
+- A new terminal widget has been added for the GUI.  It is still experimental
+  and is disabled by default.  It can be enabled with the command line
+  parameter `--experimental-terminal-widget`.
+
+- More fonts for the documentation browser are included.
 
 ### Graphics backend