JuliaPluto/Pluto.jl

Allow setting the log filtering granularity.

Open

#3073 opened on Oct 23, 2024

View on GitHub
 (2 comments) (0 reactions) (0 assignees)Julia (5,295 stars) (329 forks)batch import
frontendgood first issuelogging

Description

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.

Contributor guide

Tech stack
javascript
Domain
frontend
Issue type
feature
DifficultyEstimated implementation difficulty for a new contributor, from 1 for very small changes to 5 for expert-level work.
2
Estimated timeA rough time range for an experienced contributor to investigate, implement, test, and prepare a pull request.
1-3 hours
Activity statusHow available the issue appears right now: fresh, active, stale, blocked, or waiting on maintainer input.
fresh
ClarityHow clearly the issue explains the expected change, acceptance criteria, and next step.
clear
Prerequisites
JavaScript
Newbie friendlinessA 1-100 score estimating how approachable this issue is for first-time contributors.
85
Research direction
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.