changeset 31673:6327dab37002

maint: Merge stable to default.
author Markus Mützel <markus.muetzel@gmx.de>
date Mon, 19 Dec 2022 15:27:28 +0100
parents 67770ec6f0b5 (current diff) c9430c9cda2e (diff)
children ed1d3a8bc638
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:59:46 2022 -0500
+++ b/etc/NEWS.8.md	Mon Dec 19 15:27:28 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