--- a/src/eric7/eric7_shell.py Wed Oct 11 15:44:59 2023 +0200 +++ b/src/eric7/eric7_shell.py Wed Oct 11 16:05:44 2023 +0200 @@ -56,7 +56,7 @@ """ Main entry point into the application. """ - QGuiApplication.setDesktopFileName("eric7_shell.desktop") + QGuiApplication.setDesktopFileName("eric7_shell") options = [ (