Ubuntu
wxmaxima package

  1. Bug #95714
  2. Comment #4

Comment 4 for bug 95714

Revision history for this message
PeterPall (peterpall) wrote :

Seems like this problem might be caused by wxWidgets: https://forums.wxwidgets.org/viewtopic.php?t=7452