--- a/src/eric7/Preferences/__init__.py Thu Mar 09 16:59:39 2023 +0100 +++ b/src/eric7/Preferences/__init__.py Fri Mar 10 18:04:06 2023 +0100 @@ -1586,6 +1586,10 @@ "WifiApGateway": "", "WifiApDNS": "", "WifiCountry": "", + "NtpServer": "0.pool.ntp.org", + "NtpOffset": 0, + "NtpDaylight": False, + "NtpTimeout": 10, # MicroPython URLs "MicroPythonDocuUrl": "https://docs.micropython.org/en/latest/", "MicroPythonFirmwareUrl": "http://micropython.org/download/", @@ -3787,7 +3791,13 @@ @param key the key of the value to get @return the requested MicroPython value """ - if key in ("SerialTimeout", "ChartColorTheme", "WifiApAuthMode"): + if key in ( + "SerialTimeout", + "ChartColorTheme", + "WifiApAuthMode", + "NtpOffset", + "NtpTimeout", + ): return int( Prefs.settings.value("MicroPython/" + key, Prefs.microPythonDefaults[key]) ) @@ -3797,6 +3807,7 @@ "ShowHiddenLocal", "ShowHiddenDevice", "EnableManualDeviceSelection", + "NtpDaylight", ]: return toBool( Prefs.settings.value("MicroPython/" + key, Prefs.microPythonDefaults[key])