Feature SS-3558
1 vote
vote

[Maxima] Provide a menu entry for maxima restart
Created by Martin Kraska on 9/5/2018 11:56 AM Last Updated by Martin Kraska on 9/10/2018 6:47 PM
%
 (hrs)
Logged: 0   (hrs)

 Description

Insert> Maxima> Restart
Skip Navigation Links

    Martin Kraska (Monday, September 10, 2018 6:47 PM) #

As a workaround you can use Insert> Maxima> Settings> Save and Restart (without touching the path)