(settings: PluginSettings)
| 32 | postBackendMessage({ type: "error", error } as ErrorMessage); |
| 33 | |
| 34 | export const postSettingsChanged = (settings: PluginSettings) => |
| 35 | postBackendMessage({ |
| 36 | type: "pluginSettingsChanged", |
| 37 | settings, |
| 38 | } as SettingsChangedMessage); |