From 7b5c8c9cd3256bf1041024176bba6b748a4638da Mon Sep 17 00:00:00 2001 From: nea Date: Mon, 21 Nov 2022 18:46:09 +0100 Subject: UserPlugins: Add clickable badges to external user plugins This patch adds a button to each user plugin (this is determined by the plugin directory). Additionally user plugins can specify an `externalLink` in their plugin definition to have their badge be clickable and link to an external website. Co-Authored-By: exhq <91651232+exhq@users.noreply.github.com> --- src/utils/types.ts | 12 ++++++++++++ 1 file changed, 12 insertions(+) (limited to 'src/utils') diff --git a/src/utils/types.ts b/src/utils/types.ts index 30c603f..a0ab9b0 100644 --- a/src/utils/types.ts +++ b/src/utils/types.ts @@ -91,6 +91,18 @@ export interface PluginDef { * plugin's settings page */ settingsAboutComponent?: React.ComponentType; + /** + * If this plugin is an external / user plugin, this link will point to + * the external webpage responsible for this plugin. Local plugins should + * not have this set, however, not every UserPlugin will have this set to + * a link. + */ + externalLink?: string; + /** + * Signifies whether this plugin is a UserPlugin or not. + * This value is set using a build time script in globPlugins. + */ + isUserPlugin?: boolean; } export enum OptionType { -- cgit