Hi Matthias,
Cool!
Another feature I would like to have is the ability to adjust bounding box size of the gui, like in matplotlib, we can do
Code:
plt.rcParams['figure.figsize'] = (10.0, 8.0) # set default size of plots
The current default size might not be optimal. e.g. the example below on a slightly stretched domain, it has quit large empty white spaces:
[
Best,
Guosheng