--- a/eric7.epj	Thu Oct 05 10:06:49 2023 +0200
+++ b/eric7.epj	Tue Oct 31 09:22:17 2023 +0100
@@ -1243,6 +1243,7 @@
       "src/eric7/EricWidgets/EricPlainTextDialog.py",
       "src/eric7/EricWidgets/EricProcessDialog.py",
       "src/eric7/EricWidgets/EricProgressDialog.py",
+      "src/eric7/EricWidgets/EricProxyStyle.py",
       "src/eric7/EricWidgets/EricSideBar.py",
       "src/eric7/EricWidgets/EricSimpleHelpDialog.py",
       "src/eric7/EricWidgets/EricSingleApplication.py",