[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