diff -r dee6e106b4d3 -r 15e30f0c76a8 src/eric7/Preferences/ProgramsDialog.py --- a/src/eric7/Preferences/ProgramsDialog.py Mon Feb 24 15:11:18 2025 +0100 +++ b/src/eric7/Preferences/ProgramsDialog.py Mon Feb 24 15:43:49 2025 +0100 @@ -282,7 +282,7 @@ # 6. do the spell checking entry try: - import enchant # __IGNORE_WARNING_I10__ + import enchant # __IGNORE_WARNING_I-10__ try: text = os.path.dirname(enchant.__file__) @@ -299,7 +299,7 @@ # 7. do the pygments entry try: - import pygments # __IGNORE_WARNING_I10__ + import pygments # __IGNORE_WARNING_I-10__ try: text = os.path.dirname(pygments.__file__) @@ -366,7 +366,7 @@ # 9. do the jedi related entries try: - import jedi # __IGNORE_WARNING_I10__ + import jedi # __IGNORE_WARNING_I-10__ try: text = os.path.dirname(jedi.__file__)