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

Pluto.jl/frontend/components/Logs.js

Lines 9 to 10 in b1cacd8

	const LOGS_VISIBLE_START = 60
	const LOGS_VISIBLE_END = 20

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,[],[],[],[],[],[]))