diff -r 706185900558 -r 2f5c951bdf14 Preferences/ConfigurationPages/CondaPage.py
--- a/Preferences/ConfigurationPages/CondaPage.py Sun Feb 03 16:31:53 2019 +0100
+++ b/Preferences/ConfigurationPages/CondaPage.py Sun Feb 03 16:59:36 2019 +0100
@@ -35,13 +35,19 @@
" dialog."))
# set initial values
- self.condaExePicker.setText(Preferences.getConda("CondaExecutable"))
+ self.__condaExecutable = Preferences.getConda("CondaExecutable")
+ self.condaExePicker.setText(self.__condaExecutable)
def save(self):
"""
Public slot to save the conda configuration.
"""
- Preferences.setConda("CondaExecutable", self.condaExePicker.text())
+ condaExecutable = self.condaExePicker.text()
+ if condaExecutable != self.__condaExecutable:
+ Preferences.setConda("CondaExecutable", condaExecutable)
+
+ import CondaInterface
+ CondaInterface.resetInterface()
def create(dlg):
