Allow setting the log filtering granularity.

[KristofferC]

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.

[fonsp]

Thanks for the issue!

I think we can add a more... button to show all logs, just like we do for long arrays:

[fonsp]

I labeled this as a "Good First Issue"! If you learn the basics about React Hooks, this should be easy to implement!

Also take a look at how we implemented show types... in the stack trace:

map(sqrt, (-1,[],[],[],[],[],[]))