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 == "LIBRARY_PATHS":
              library_manager.refresh_libraries()
          elif config_key == "SHORTCUTS":
              self.refresh_shortcuts()
          elif config_key == "recently_opened_state_machines":
              self._update_recently_opened_state_machines()