Feature SS-3558
1 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
Logged: 0   (hrs)


Insert> Maxima> Restart

    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)