Enhance @info font size output #3111
Unanswered
jgardona
asked this question in
Pluto development
Replies: 1 comment
-
Are you using Symbolics.jl? |
Beta Was this translation helpful? Give feedback.
0 replies
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
-
Hello, good morning,
Im working on windows 11 with pluto, and notice that the @info macro output generates a lesser font sized answer as we can see below:
Outputting an array will got the things better for visualization:
May we enhance a litte bit, the first output? I already got the chrome page in zoom and adjust the dpi scale, but its not enought.
Beta Was this translation helpful? Give feedback.
All reactions