JuliaPluto/Pluto.jl

Allow setting the log filtering granularity.

Aperta

#3073 aperta il 23 ott 2024

Vedi su GitHubGuida contributor
 (2 commenti) (0 reazioni) (0 assegnatari)Julia (329 fork)batch import
frontendgood first issuelogging

Metriche repository

Star
 (5295 stelle)
Metriche merge PR
 (Merge medio 5g 12h) (13 PR mergiate in 30 g)

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

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.
Tech stack
javascript
Dominio
frontend
Tipo issue
Funzionalità
DifficoltàQuanto dovrebbe essere impegnativa per un nuovo contributor.
3
Tempo stimatoTempo stimato per completare e verificare uno scope piccolo.
Mezza giornata
Stato attivitàQuanto è probabile che la issue sia ancora attiva e reviewable.
Attiva
ChiarezzaQuanto chiaramente la issue descrive problema, scope e risultato atteso.
Chiara
Prerequisiti
JavaScript
Adatta ai principiantiQuanto la issue è adatta a contributor alla prima esperienza.
70