scripts/uninstall.py

branch
eric7
changeset 8820
149f941d072e
parent 8611
0b1a09e47e98
child 8821
0485c183b718
diff -r 982fb074be98 -r 149f941d072e scripts/uninstall.py
--- a/scripts/uninstall.py	Thu Dec 09 20:07:08 2021 +0100
+++ b/scripts/uninstall.py	Sat Dec 11 16:04:36 2021 +0100
@@ -150,7 +150,8 @@
         for name in ['ericExamplesDir', 'ericDocDir', 'ericDTDDir',
                      'ericCSSDir', 'ericIconDir', 'ericPixDir',
                      'ericTemplatesDir', 'ericCodeTemplatesDir',
-                     'ericOthersDir', 'ericStylesDir', 'ericDir']:
+                     'ericOthersDir', 'ericStylesDir', 'ericThemesDir',
+                     'ericDir']:
             dirpath = getConfig(name)
             if os.path.exists(dirpath):
                 shutil.rmtree(dirpath, True)

eric ide

mercurial