changeset 31516:e88ad18ca0ee stable

NEWS.8.md: Add notes about GUI improvements
author Arun Giridhar <arungiridhar@gmail.com>
date Wed, 23 Nov 2022 04:55:03 -0500
parents 45328547bc12
children b2882cf2a547
files etc/NEWS.8.md
diffstat 1 files changed, 5 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- a/etc/NEWS.8.md	Wed Nov 23 04:53:02 2022 -0500
+++ b/etc/NEWS.8.md	Wed Nov 23 04:55:03 2022 -0500
@@ -42,6 +42,11 @@
 
 ### Graphical User Interface
 
+- 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.
 
 ### Graphics backend