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

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

Open
RoyalXXX opened this issue Feb 17, 2023 · 2 comments
Open

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

RoyalXXX opened this issue Feb 17, 2023 · 2 comments

Comments

@RoyalXXX
Copy link

wxMaxima 23.02.0-DevelopmentSnapshot
Windows 10 x64

1
2
@daute
Copy link
Member

daute commented Feb 18, 2023

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

@gunterkoenigsmann
Copy link
Member

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.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
3 participants
@gunterkoenigsmann @daute @RoyalXXX