log_documentation.py 1.3 KB

1234567891011121314151617181920212223242526272829303132333435363738394041424344
  1. from nicegui import ui
  2. from . import doc
  3. @doc.demo(ui.log)
  4. def main_demo() -> None:
  5. from datetime import datetime
  6. log = ui.log(max_lines=10).classes('w-full h-20')
  7. ui.button('Log time', on_click=lambda: log.push(datetime.now().strftime('%X.%f')[:-5]))
  8. @doc.demo('Attach to a logger', '''
  9. You can attach a `ui.log` element to a Python logger object so that log messages are pushed to the log element.
  10. ''')
  11. def logger_handler():
  12. import logging
  13. from datetime import datetime
  14. logger = logging.getLogger()
  15. class LogElementHandler(logging.Handler):
  16. """A logging handler that emits messages to a log element."""
  17. def __init__(self, element: ui.log, level: int = logging.NOTSET) -> None:
  18. self.element = element
  19. super().__init__(level)
  20. def emit(self, record: logging.LogRecord) -> None:
  21. try:
  22. msg = self.format(record)
  23. self.element.push(msg)
  24. except Exception:
  25. self.handleError(record)
  26. log = ui.log(max_lines=10).classes('w-full')
  27. handler = LogElementHandler(log)
  28. logger.addHandler(handler)
  29. ui.context.client.on_disconnect(lambda: logger.removeHandler(handler))
  30. ui.button('Log time', on_click=lambda: logger.warning(datetime.now().strftime('%X.%f')[:-5]))
  31. doc.reference(ui.log)