// // Copyright 2023 DXOS.org // import { Schema } from 'effect'; export const SETTINGS_PLUGIN = 'dxos.org/plugin/settings'; export const SETTINGS_ACTION = `${SETTINGS_PLUGIN}/action`; // TODO(wittjosiah): This is a hack to prevent the previous deck from being set for pinned items. // Ideally this should be worked into the data model in a generic way. export const SETTINGS_ID = '!dxos:settings'; export const SETTINGS_KEY = 'settings'; export namespace SettingsAction { export class Open extends Schema.TaggedClass()(`${SETTINGS_ACTION}/open`, { input: Schema.Struct({ plugin: Schema.optional(Schema.String), }), output: Schema.Void, }) {} export class OpenPluginRegistry extends Schema.TaggedClass()( `${SETTINGS_ACTION}/open-plugin-registry`, { input: Schema.Void, output: Schema.Void, }, ) {} }