comparison etc/NEWS.8.md @ 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 8029e9b88950
children 6327dab37002 bc24b226891a
comparison
equal deleted inserted replaced
31670:4058dd350ea1 31672:c9430c9cda2e
43 ### Graphical User Interface 43 ### Graphical User Interface
44 44
45 - The GUI has a dark style and several new icons in toolbars for better 45 - The GUI has a dark style and several new icons in toolbars for better
46 visibility and higher contrast. 46 visibility and higher contrast.
47 47
48 - The GUI also has a new terminal widget, and comes with more fonts for the 48 - A new terminal widget has been added for the GUI. It is still experimental
49 documentation browser. 49 and is disabled by default. It can be enabled with the command line
50 parameter `--experimental-terminal-widget`.
51
52 - More fonts for the documentation browser are included.
50 53
51 ### Graphics backend 54 ### Graphics backend
52 55
53 - When printing, the option `-svgconvert` is now the default. If you want to 56 - When printing, the option `-svgconvert` is now the default. If you want to
54 use the more limited EPS-based tool chain (the former default)&mdash;e.g., if 57 use the more limited EPS-based tool chain (the former default)&mdash;e.g., if