changelog

changeset 6297
85e20e9b4d55
parent 6294
58f82c179d2b
child 6305
7652b925c25e
--- 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)

eric ide

mercurial