[MacPorts] #66914: wxMaxima (please update that program!)
MacPorts
noreply at macports.org
Tue Mar 7 11:09:41 UTC 2023
#66914: wxMaxima (please update that program!)
--------------------------------+--------------------------
Reporter: gunterkoenigsmann | Owner: MSoegtropIMC
Type: update | Status: assigned
Priority: Normal | Milestone:
Component: ports | Version:
Resolution: | Keywords:
Port: wxMaxima |
--------------------------------+--------------------------
Comment (by MSoegtropIMC):
Sorry - after doing my tests I switched back to "master" rather than
"main" and got an old build from 2021. I now deleted the old master branch
locally.
The AUI management works fine in the latest build
80ddb65edaaebf8d87841b56b27a7218400b65e6 :-)
What remains is that I cannot set the style for "Style/Default" / "Code
Default". When I change it to not bold not italic in preferences, it has
an effect. This is also correctly saved in the preferences file as:
{{{
[Style/Default]
color=black
bold=0
italic=0
underlined=0
}}}
But when I close and reopen wxMaxima, the setting is gone and on closing
again the preferences file becomes:
{{{
[Style/Default]
color=black
bold=1
italic=1
underlined=0
}}}
So I guess that there is something wrong with reading this preference pr
translating it to internal data structures.
--
Ticket URL: <https://trac.macports.org/ticket/66914#comment:66>
MacPorts <https://www.macports.org/>
Ports system for macOS
More information about the macports-tickets
mailing list