search

wxMaxima-developers / wxmaxima

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

"Change names of greek letters to greek letters" not working #1752

Open RoyalXXX opened 1 year ago

RoyalXXX commented 1 year ago

wxMaxima 23.02.0-DevelopmentSnapshot Windows 10 x64

1 2

daute commented 1 year ago

Git bisect found commit 4983e9600a1bc2be584423ebac6da81519030558 as the first bad commit. But I have no idea, what's exactly wrong...

gunterkoenigsmann commented 1 year ago

That commit changes the TextStyle of some elements. Not that we do the greek letter substitution only on certain TexStyles - and that the TextStyle has changed with that commit.