--- a/src/eric7/MicroPython/MicroPythonFileManagerWidget.py Tue Dec 06 16:57:54 2022 +0100 +++ b/src/eric7/MicroPython/MicroPythonFileManagerWidget.py Tue Dec 06 17:35:41 2022 +0100 @@ -479,7 +479,7 @@ deviceFilename, self.tr("Copy File to Device"), self.tr( - "The given file exists already" " (Enter file name only)." + "The given file exists already (Enter file name only)." ), False, self,