export const MY_PANEL_VIEW_ID = "my_panel"; export const MY_PANEL_VIEW_NAME = "My Tools"; export const MY_PANEL_VIEW_DESCRIPTION = "Search all tools and view your favorite tools."; export const MY_PANEL_VIEW_TYPE = "favorites"; export const PANEL_LABEL_IDS = { FAVORITES_RESULTS_SECTION: "favorites_results", FAVORITES_RESULTS_LABEL: "favorites_results_label", SEARCH_RESULTS_LABEL: "search_results_label", FAVORITES_LABEL: "favorites_label", RECENT_TOOLS_LABEL: "recent_tools_label", FAVORITES_EMPTY_ALERT: "favorites_empty_alert", ALL_TOOLS_SECTION: "all_tools", } as const;