Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

"more" does not work within logs #2633

Open
Pangoraw opened this issue Aug 27, 2023 · 1 comment
Open

"more" does not work within logs #2633

Pangoraw opened this issue Aug 27, 2023 · 1 comment
Labels
bug Something isn't working display & PlutoRunner & AbstractPlutoDingetjes.jl logging About `@info`, `@warn`, etc

Comments

@Pangoraw
Copy link
Collaborator

Pangoraw commented Aug 27, 2023 •
edited
Loading 

          The problem also seems to appear within logs (e.g. `@info`) even without `@htl`:
0b26bb78-ab2a-4874-9efd-39dd003717c7.mp4

Originally posted by @disberd in #2619 (comment)

See #2619 (comment) for more context on why.
@Pangoraw Pangoraw added bug Something isn't working display & PlutoRunner & AbstractPlutoDingetjes.jl logging About `@info`, `@warn`, etc labels Aug 27, 2023
@Pangoraw Pangoraw mentioned this issue Aug 27, 2023
Merged
@Pangoraw Pangoraw changed the title "more" does not work within logs for embedded displays "more" does not work within logs Aug 27, 2023
@Pangoraw
Copy link
Collaborator Author

Pangoraw commented Sep 18, 2023 •
edited
Loading

Note that it's not possible to send an updated log to clients because they are stored in a AppendonlyMarker:

Pluto.jl/src/webserver/Dynamic.jl

Line 141 in 62f7898

"logs" => FirebaseyUtils.AppendonlyMarker(cell.logs),

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
bug Something isn't working display & PlutoRunner & AbstractPlutoDingetjes.jl logging About `@info`, `@warn`, etc
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@Pangoraw