JuliaPluto/Pluto.jl

Allow setting the log filtering granularity.

Open

#3,073 创建于 2024年10月23日

在 GitHub 查看
 (2 评论) (0 反应) (0 负责人)Julia (5,295 star) (329 fork)batch import
frontendgood first issuelogging

描述

Right now, Pluto filters out log messages which may or may not be desired. The way it does this is by two hardcoded constants at

https://github.com/fonsp/Pluto.jl/blob/b1cacd8e111ea4b04a2af6174ab08262dc381617/frontend/components/Logs.js#L9-L10

It would be good if the logging filtering could either be customized or turned off because sometimes you actually want to read the log messages you output.

贡献者指南

技术栈
javascript
领域
frontend
议题类型
feature
难度面向新贡献者的预计实现难度，1 表示很小改动，5 表示专家级工作。
2
预计时间有经验贡献者完成调查、实现、测试并准备 pull request 的粗略时间范围。
1-3 hours
活动状态议题当前的可参与程度：新鲜、活跃、陈旧、阻塞或等待维护者输入。
fresh
清晰度议题是否清楚说明期望改动、验收标准和下一步。
clear
前置要求
JavaScript
新手友好度1-100 的估计分数，表示该议题对首次贡献者的友好程度。
85
研究方向
The hardcoded constants at frontend/components/Logs.js lines 9-10 control which log levels are shown. The change involves making these configurable, possibly through a prop or a setting. Review the existing Logs component for how it uses these constants. Consider adding a configuration option for users to specify allowed log levels. No maintainer comments found in the issue.