Most importantly, this removes the problematic and frustrating to users dry-run pop-up.
When you open a workspace that has a Makefile, you will first be prompted with this pop-up.
Then, the makefile extension will start the configure process, and also give you this pop-up that will control what level we will save your choice in, either globally or only in this workspace.
However, if you say no to the first pop-up, the configure process will not be started, and then you will be prompted with this:
This will allow you to either globally turn off configuring on open, or only for the current workspace.
Most importantly, this removes the problematic and frustrating to users dry-run pop-up.
When you open a workspace that has a Makefile, you will first be prompted with this pop-up.
Then, the makefile extension will start the configure process, and also give you this pop-up that will control what level we will save your choice in, either globally or only in this workspace.
However, if you say no to the first pop-up, the configure process will not be started, and then you will be prompted with this:
This will allow you to either globally turn off configuring on open, or only for the current workspace.