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.