Mercurial Repositories > eric / file diff

diff -r 7ab2293917f8 -r e44c04a89dbc Preferences/__init__.py
--- a/Preferences/__init__.py	Wed Oct 18 19:16:28 2017 +0200
+++ b/Preferences/__init__.py	Thu Oct 19 19:39:59 2017 +0200
@@ -1470,7 +1470,6 @@
         "ShowInfoAsMarkdown": False,
         "Provider": "disabled",
     }
-    # TODO: add to new configuration page to editor section
 
 
 def readToolGroups(prefClass=Prefs):