oh that’s perfect! I did not think of that.
I’ll still leave this feature request open since I think there are probably some other times when quitting would itself be useful, but restart works for my purposes.
oh that’s perfect! I did not think of that.
I’ll still leave this feature request open since I think there are probably some other times when quitting would itself be useful, but restart works for my purposes.