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)