diff -r c1c808e65211 -r 8863f3e970a2 docs/changelog
--- a/docs/changelog Thu Aug 25 19:35:37 2022 +0200
+++ b/docs/changelog Fri Aug 26 14:49:15 2022 +0200
@@ -11,6 +11,9 @@
-- added capability to suppress reporting of unhandled exceptions
- Editor
-- extended the Pygments based lexer to support the various comment variants
+- Interface
+ -- added capability to expand or shrink the sidebar by clicking on the empty
+ part of the icon bar
- MicroPython
-- added capability to connect to devices for which only the serial port name
is available
