Don't allow to change discovery type & options while running

resources/ui/carla_refresh.ui

@@ -33,7 +33,7 @@
       </spacer>
      </item>
      <item>
-      <widget class="QGroupBox" name="groupBox">
+      <widget class="QGroupBox" name="group_types">
        <property name="title">
         <string>Search for new...</string>
        </property>
@@ -241,7 +241,7 @@
      <item>
       <layout class="QVBoxLayout" name="verticalLayout_3">
        <item>
-        <widget class="QGroupBox" name="groupBox_2">
+        <widget class="QGroupBox" name="group_tools">
          <property name="title">
           <string>Available tools:</string>
          </property>
@@ -395,7 +395,7 @@
         </spacer>
        </item>
        <item>
-        <widget class="QGroupBox" name="groupBox_3">
+        <widget class="QGroupBox" name="group_options">
          <property name="title">
           <string>Options:</string>
          </property>

source/carla_database.py

@@ -1180,6 +1180,8 @@ class PluginRefreshW(QDialog):
         self.ui.b_start.setEnabled(False)
         self.ui.b_skip.setVisible(True)
         self.ui.b_close.setVisible(False)
+        self.ui.group_types.setEnabled(False)
+        self.ui.group_options.setEnabled(False)
 
         if self.ui.ch_do_checks.isChecked():
             if os.getenv("CARLA_DISCOVERY_NO_PROCESSING_CHECKS"):
@@ -1226,6 +1228,8 @@ class PluginRefreshW(QDialog):
         self.ui.b_start.setEnabled(True)
         self.ui.b_skip.setVisible(False)
         self.ui.b_close.setVisible(True)
+        self.ui.group_types.setEnabled(True)
+        self.ui.group_options.setEnabled(True)
 
     def loadSettings(self):
         settings = QSettings()