diff -r 1b63ffeca110 -r ea3320d5e8e9 src/eric7/WebBrowser/SpellCheck/ManageDictionariesDialog.py
--- a/src/eric7/WebBrowser/SpellCheck/ManageDictionariesDialog.py Mon Dec 11 15:11:32 2023 +0100
+++ b/src/eric7/WebBrowser/SpellCheck/ManageDictionariesDialog.py Tue Dec 12 09:35:39 2023 +0100
@@ -489,7 +489,9 @@
]
for itm in itemsToDelete:
documentationDir = itm.data(ManageDictionariesDialog.DocumentationDirRole)
- shutil.rmtree(os.path.join(installLocation, documentationDir), True)
+ shutil.rmtree(
+ os.path.join(installLocation, documentationDir), ignore_errors=True
+ )
locales = itm.data(ManageDictionariesDialog.LocalesRole)
for locale in locales:
