export const DIFF_TOOL_CODE_THEMES = [
    "andromeeda",
    "aurora-x",
    "ayu-dark",
    "ayu-mirage",
    "catppuccin-frappe",
    "catppuccin-macchiato",
    "catppuccin-mocha",
    "dark-plus",
    "dracula",
    "dracula-soft",
    "everforest-dark",
    "github-dark",
    "github-dark-default",
    "github-dark-dimmed",
    "github-dark-high-contrast",
    "gruvbox-dark-hard",
    "gruvbox-dark-medium",
    "gruvbox-dark-soft",
    "horizon",
    "horizon-bright",
    "houston",
    "kanagawa-dragon",
    "kanagawa-wave",
    "laserwave",
    "material-theme",
    "material-theme-darker",
    "material-theme-ocean",
    "material-theme-palenight",
    "min-dark",
    "monokai",
    "night-owl",
    "nord",
    "one-dark-pro",
    "plastic",
    "poimandres",
    "red",
    "rose-pine",
    "rose-pine-moon",
    "slack-dark",
    "solarized-dark",
    "synthwave-84",
    "tokyo-night",
    "vesper",
    "vitesse-black",
    "vitesse-dark",
];
export const DEFAULT_DIFF_TOOL_CODE_THEME = "github-dark-dimmed";
//# sourceMappingURL=shared_types.js.map