--- a/changelog Fri May 18 19:41:02 2018 +0200 +++ b/changelog Sat May 19 16:38:28 2018 +0200 @@ -5,6 +5,8 @@ - Editor -- added a configuration option (Editor->Style page) to show the marker map on the left or right of the editor + -- added a context menu for the "fold" margin + -- improved handling of folded lines when using "go to" functions - pip Interface -- added an action to install a locally available package/wheel - Web Browser (NG)