Reply to this email directly, view it on GitHub, or unsubscribe.
You are receiving this because you are subscribed to this thread.
I don't remember exactly but there definetely a good reason. Maybe postponing it to wait for other GUI components to be initialized and only then switch the active document once so all other widgets (e.g. symbol tree and similar) are up to date.
#3318 tries to fix it.
—
Reply to this email directly, view it on GitHub, or unsubscribe.
You are receiving this because you are subscribed to this thread.