JuliaPluto/Pluto.jl

Allow setting the log filtering granularity.

Open

Aperta il 23 ott 2024

Vedi su GitHub
 (2 commenti) (0 reazioni) (0 assegnatari)Julia (5295 star) (329 fork)batch import
frontendgood first issuelogging

Descrizione

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.

Guida contributor

Tech stack
javascript
Dominio
frontend
Tipo issue
feature
DifficoltàQuanto dovrebbe essere impegnativa per un nuovo contributor.
3
Tempo stimatoTempo stimato per completare e verificare uno scope piccolo.
half day
Stato attivitàQuanto è probabile che la issue sia ancora attiva e reviewable.
active
ChiarezzaQuanto chiaramente la issue descrive problema, scope e risultato atteso.
clear
Prerequisiti
JavaScript
Adatta ai principiantiQuanto la issue è adatta a contributor alla prima esperienza.
70
Direzione di ricerca
Le costanti hardcoded nelle righe 9-10 del componente frontend Logs.js controllano quali livelli di log vengono mostrati. La modifica prevede di renderle configurabili, possibilmente tramite una prop o un'impostazione. Esamina il componente Logs esistente per capire come utilizza queste costanti. Considera l'aggiunta di un'opzione di configurazione per consentire agli utenti di specificare i livelli di log consentiti. Nessun commento del maintainer trovato nell'issue.