search

wxMaxima-developers / wxmaxima

A gui for the computer algebra system Maxima built with wxWidgets
https://wxMaxima-developers.github.io/wxmaxima/
Other
460 stars 96 forks source link

Label scaling and zoom #1815

Closed gunterkoenigsmann closed 9 months ago

gunterkoenigsmann commented 9 months ago

When zooming the label scaling is - let's say inconsistent, see #1812: image