JuliaPluto/Pluto.jl

Allow setting the log filtering granularity.

Open

#3 073 ouverte le 23 oct. 2024

Voir sur GitHub
 (2 commentaires) (0 réactions) (0 assignés)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.

Guide contributeur

Stack technique
javascript
Domaine
frontend
Type d'issue
feature
DifficultéDifficulté estimée pour un nouveau contributeur, de 1 pour un très petit changement à 5 pour un travail expert.
2
Temps estiméFourchette de temps approximative pour investiguer, implémenter, tester et préparer une pull request.
1-3 hours
Statut d'activitéDisponibilité apparente de l'issue : fraîche, active, ancienne, bloquée ou en attente d'un mainteneur.
fresh
ClartéClarté avec laquelle l'issue explique le changement attendu, les critères d'acceptation et la prochaine étape.
clear
Prérequis
JavaScript
Accessibilité débutantScore de 1 à 100 estimant l'accessibilité de cette issue pour un premier contributeur.
85
Direction de recherche
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.