ExternalToolsPlugin: delay saving the changes to the apply() slot
In case the user clicks Cancel. If a tool is renamed, remove the old config file.
parent
d35cb784
Please register or sign in to comment
In case the user clicks Cancel. If a tool is renamed, remove the old config file.