--- a/eric7.epj Sun Jan 21 13:00:42 2024 +0100 +++ b/eric7.epj Sun Jan 21 15:38:51 2024 +0100 @@ -645,6 +645,7 @@ "src/eric7/Preferences/ConfigurationPages/MimeTypesPage.ui", "src/eric7/Preferences/ConfigurationPages/MultiProjectPage.ui", "src/eric7/Preferences/ConfigurationPages/NetworkPage.ui", + "src/eric7/Preferences/ConfigurationPages/NetworkProxyPage.ui", "src/eric7/Preferences/ConfigurationPages/NotificationsPage.ui", "src/eric7/Preferences/ConfigurationPages/PdfViewerPage.ui", "src/eric7/Preferences/ConfigurationPages/PipPage.ui", @@ -1013,6 +1014,8 @@ "src/eric7/data/linux/eric7_browser.desktop.in", "src/eric7/data/linux/eric7_ide.desktop", "src/eric7/data/linux/eric7_ide.desktop.in", + "src/eric7/data/linux/eric7_mpy.desktop", + "src/eric7/data/linux/eric7_mpy.desktop.in", "src/eric7/eric7installpip.json", "src/eric7/icons", "src/eric7/pixmaps" @@ -1386,6 +1389,7 @@ "src/eric7/MicroPython/MicroPythonWebreplUrlAddEditDialog.py", "src/eric7/MicroPython/MicroPythonWebreplUrlsConfigDialog.py", "src/eric7/MicroPython/MicroPythonWidget.py", + "src/eric7/MicroPython/MicroPythonWindow.py", "src/eric7/MicroPython/MipLocalInstaller.py", "src/eric7/MicroPython/MipPackageDialog.py", "src/eric7/MicroPython/NtpParametersDialog.py", @@ -1939,6 +1943,7 @@ "src/eric7/Preferences/ConfigurationPages/MimeTypesPage.py", "src/eric7/Preferences/ConfigurationPages/MultiProjectPage.py", "src/eric7/Preferences/ConfigurationPages/NetworkPage.py", + "src/eric7/Preferences/ConfigurationPages/NetworkProxyPage.py", "src/eric7/Preferences/ConfigurationPages/NotificationsPage.py", "src/eric7/Preferences/ConfigurationPages/PdfViewerPage.py", "src/eric7/Preferences/ConfigurationPages/PipPage.py", @@ -2481,6 +2486,8 @@ "src/eric7/eric7_iconeditor.pyw", "src/eric7/eric7_ide.py", "src/eric7/eric7_ide.pyw", + "src/eric7/eric7_mpy.py", + "src/eric7/eric7_mpy.pyw", "src/eric7/eric7_pdf.py", "src/eric7/eric7_pdf.pyw", "src/eric7/eric7_pip.py",