mirror of
https://github.com/jeertmans/manim-slides.git
synced 2025-05-22 04:56:24 +08:00
097ae8ffdd
* feat(present): fix presentation size and add screen option This kinda fixes the issue of weird resizes between two presentations * [pre-commit.ci] auto fixes from pre-commit.com hooks for more information, see https://pre-commit.ci * fix(ci): typing --------- Co-authored-by: pre-commit-ci[bot] <66853113+pre-commit-ci[bot]@users.noreply.github.com>
49 lines
1.1 KiB
Python
49 lines
1.1 KiB
Python
"""
|
|
Logger utils, mostly copied from Manim Community:
|
|
https://github.com/ManimCommunity/manim/blob/d5b65b844b8ce8ff5151a2f56f9dc98cebbc1db4/manim/_config/logger_utils.py#L29-L101
|
|
"""
|
|
|
|
import logging
|
|
|
|
from rich.console import Console
|
|
from rich.logging import RichHandler
|
|
from rich.theme import Theme
|
|
|
|
__all__ = ["logger", "make_logger"]
|
|
|
|
HIGHLIGHTED_KEYWORDS = [ # these keywords are highlighted specially
|
|
"Played",
|
|
"animations",
|
|
"scene",
|
|
"Reading",
|
|
"Writing",
|
|
"script",
|
|
"arguments",
|
|
"Invalid",
|
|
"Aborting",
|
|
"module",
|
|
"File",
|
|
"Rendering",
|
|
"Rendered",
|
|
"Pressed key",
|
|
]
|
|
|
|
|
|
def make_logger() -> logging.Logger:
|
|
"""
|
|
Make a logger similar to the one used by Manim.
|
|
"""
|
|
RichHandler.KEYWORDS = HIGHLIGHTED_KEYWORDS
|
|
rich_handler = RichHandler(
|
|
show_time=True,
|
|
console=Console(theme=Theme({"logging.level.perf": "magenta"})),
|
|
)
|
|
logging.addLevelName(5, "PERF")
|
|
logger = logging.getLogger("manim-slides")
|
|
logger.addHandler(rich_handler)
|
|
|
|
return logger
|
|
|
|
|
|
logger = logging.getLogger("manim-slides")
|