Why3 IDE - default tab to show
When launching the ide on a given (possibly empty) file, it would be nice to show the "Source" view by default, instead of the "Task view".
When launching the ide on a given (possibly empty) file, it would be nice to show the "Source" view by default, instead of the "Task view".