[maxima] put the autorun scripts and the documentation widget to new
tabs in a TabWidget. This reduces the size of the backend settings widget and makes the separation of the different logics more clear. This change will also be done for all other backends.
Please register or sign in to comment