From 47881d74d08be36f5a1b6e8c17477e845cb9be3f Mon Sep 17 00:00:00 2001 From: Matt Hillsdon Date: Tue, 30 Aug 2022 16:47:22 +0100 Subject: [PATCH] Fix docs for log.set_labels. Closes https://github.com/microbit-foundation/python-editor-next/issues/920 I'll batch a Crowdin update tomorrow. --- lang/en/typeshed/stdlib/log.pyi | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/lang/en/typeshed/stdlib/log.pyi b/lang/en/typeshed/stdlib/log.pyi index b963c38..d631234 100644 --- a/lang/en/typeshed/stdlib/log.pyi +++ b/lang/en/typeshed/stdlib/log.pyi @@ -18,11 +18,11 @@ DAYS = 864000 """Days timestamp format.""" def set_labels( - *args: str, timestamp: Optional[Literal[1, 10, 36000, 864000]] = MILLISECONDS + *args: str, timestamp: Optional[Literal[1, 10, 36000, 864000]] = SECONDS ) -> None: """Set up the log file header. - Example: ``log.set_labels('x', 'y', 'z', log.SECONDS)`` + Example: ``log.set_labels('x', 'y', 'z', timestamp=log.MINUTES)`` Each call to this function with positional arguments will generate a new header entry into the log file.