docs: def on_config_value_changed(self, config_m, prop_name, info):
          """Callback when a config value has been changed
  
          :param ConfigModel config_m: The config model that has been changed
          :param str prop_name: Should always be 'config'
          :param dict info: Information e.g. about the changed config key
          """
          config_key = info['args'][1]
          # config_value = info['args'][2]
  
          if config_key in ["ENABLE_CACHING", "SHOW_ABORTED_PREEMPTED", "SHOW_DATA_FLOWS",
                            "SHOW_DATA_FLOW_VALUE_LABELS", "SHOW_NAMES_ON_DATA_FLOWS", "ROTATE_NAMES_ON_CONNECTION"]:
              self.update_view()