Join GitHub today
Stopping the GUI can be slow #395
Calling stop can be slow when there are a lot of widgets.
For example, a grid with hundreds of rows can take 10-20 seconds to shutdown.
This is because stop calls
Ideally we want destroy to be called, but should give the user the option to skip it if they want.
Should introduce a flag to skip