You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Why Plots.jl using different measurement units for font sizes, chart size, margin sizes, etc?
Why I should explicitly add "px" or "mm" suffix on margin sizing but none of them for font or chart sizing?
Make ALL those elements to use ONE measurement unit that should be pickable as base unit. For example:
Thats unfortunately not that easy at all and so far nobody took the effort to do this. And the default unit is generally what the backend uses. So fontsizes are in pt and most other measures are in px.
Why Plots.jl using different measurement units for font sizes, chart size, margin sizes, etc?
Why I should explicitly add "px" or "mm" suffix on margin sizing but none of them for font or chart sizing?
Make ALL those elements to use ONE measurement unit that should be pickable as base unit. For example:
OR add support for setting measurement units inline:
Plots.jl version: 1.33.0
Backend: GR
Julia version: 1.8.1
The text was updated successfully, but these errors were encountered: