The settings in wxmaxima. Like language or additional symbols..
The new settings get saved, so when i choose german language in the settings window it says german, but with no effect.
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:
In that case, it is a Wxmaxima bug, which we can not correct here in Maxima. It should be reportted in the Wxmaxima bug-tracking site. Some Wxmaxima develpers also read the Maxima bug reports, but this report will be closed because it doesn't belong here..
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:
What settings are you referreing to? Can you give us more details?
The settings in wxmaxima. Like language or additional symbols..
The new settings get saved, so when i choose german language in the settings window it says german, but with no effect.
In that case, it is a Wxmaxima bug, which we can not correct here in Maxima. It should be reportted in the Wxmaxima bug-tracking site. Some Wxmaxima develpers also read the Maxima bug reports, but this report will be closed because it doesn't belong here..