/**
 * Shared with the marketplace pane, which opens the log filtered to one
 * plugin; kept apart from the pane so that import does not pull the log
 * viewer's React tree into the marketplace module graph.
 */
export const DEBUG_PANE_ID = "debug";
export const DEBUG_LOG_TEMPLATE_ID = "debug-log";
export const DEBUG_SOURCE_SETTING = "source";