mirror of
https://github.com/coder/coder.git
synced 2026-09-22 05:05:20 +08:00
Hugo Dutka
6665944740
Replaces the single-purpose PR diff right panel with a tabbed sidebar that shows both the existing PR diff and real-time git repository changes from the workspace agent. There's an accompanying backend PR [here](https://github.com/coder/coder/pull/22565). https://github.com/user-attachments/assets/bbd53f1c-d753-4574-a159-6dad5989e5e3 ## Backend surface One endpoint drives this feature: - **`WS /api/experimental/workspaceagents/{id}/git/watch`** — bidirectional WebSocket. The client sends `refresh` messages; the agent responds with `changes` messages containing per-repo branch and unified diff. The workspace agent also automatically pushes changes as they occur in the workspace.
120 lines
3.7 KiB
JavaScript
120 lines
3.7 KiB
JavaScript
/** @type {import('tailwindcss').Config} */
|
|
module.exports = {
|
|
corePlugins: {
|
|
preflight: false,
|
|
},
|
|
darkMode: ["selector"],
|
|
content: [
|
|
"./index.html",
|
|
"./src/**/*.{js,ts,jsx,tsx}",
|
|
"./node_modules/streamdown/dist/**/*.js",
|
|
"./node_modules/@streamdown/*/dist/**/*.js",
|
|
],
|
|
important: ["#root", "#storybook-root"],
|
|
theme: {
|
|
extend: {
|
|
fontFamily: {
|
|
sans: `"Geist Variable", system-ui, sans-serif`,
|
|
// `monospace, monospace` resets the font-size to 16px with the fallback.
|
|
mono: `"Geist Mono Variable", monospace, monospace`,
|
|
},
|
|
size: {
|
|
"icon-lg": "1.5rem",
|
|
"icon-sm": "1.125rem",
|
|
"icon-xs": "0.875rem",
|
|
},
|
|
fontSize: {
|
|
"2xs": ["0.625rem", "0.875rem"],
|
|
xs: ["0.75rem", { lineHeight: "1rem", fontWeight: "500" }],
|
|
sm: ["0.875rem", { lineHeight: "1.5rem", fontWeight: "500" }],
|
|
base: ["1rem", { lineHeight: "1.5rem", fontWeight: "400" }],
|
|
"3xl": ["2rem", "2.5rem"],
|
|
},
|
|
borderRadius: {
|
|
lg: "var(--radius)",
|
|
md: "calc(var(--radius) - 2px)",
|
|
sm: "calc(var(--radius) - 4px)",
|
|
xs: "calc(var(--radius) - 6px)",
|
|
},
|
|
colors: {
|
|
content: {
|
|
primary: "hsl(var(--content-primary))",
|
|
secondary: "hsl(var(--content-secondary))",
|
|
disabled: "hsl(var(--content-disabled))",
|
|
invert: "hsl(var(--content-invert))",
|
|
success: "hsl(var(--content-success))",
|
|
link: "hsl(var(--content-link))",
|
|
destructive: "hsl(var(--content-destructive))",
|
|
warning: "hsl(var(--content-warning))",
|
|
},
|
|
surface: {
|
|
primary: "hsl(var(--surface-primary))",
|
|
secondary: "hsl(var(--surface-secondary))",
|
|
tertiary: "hsl(var(--surface-tertiary))",
|
|
quaternary: "hsl(var(--surface-quaternary))",
|
|
invert: {
|
|
primary: "hsl(var(--surface-invert-primary))",
|
|
secondary: "hsl(var(--surface-invert-secondary))",
|
|
},
|
|
destructive: "hsl(var(--surface-destructive))",
|
|
green: "hsl(var(--surface-green))",
|
|
grey: "hsl(var(--surface-grey))",
|
|
orange: "hsl(var(--surface-orange))",
|
|
sky: "hsl(var(--surface-sky))",
|
|
red: "hsl(var(--surface-red))",
|
|
purple: "hsl(var(--surface-purple))",
|
|
magenta: "hsl(var(--surface-magenta))",
|
|
},
|
|
border: {
|
|
DEFAULT: "hsl(var(--border-default))",
|
|
warning: "hsl(var(--border-warning))",
|
|
green: "hsl(var(--border-green))",
|
|
pending: "hsl(var(--border-sky))",
|
|
destructive: "hsl(var(--border-destructive))",
|
|
success: "hsl(var(--border-success))",
|
|
hover: "hsl(var(--border-hover))",
|
|
purple: "hsl(var(--border-purple))",
|
|
magenta: "hsl(var(--border-magenta))",
|
|
},
|
|
overlay: "hsla(var(--overlay-default))",
|
|
input: "hsl(var(--input))",
|
|
ring: "hsl(var(--ring))",
|
|
highlight: {
|
|
purple: "hsl(var(--highlight-purple))",
|
|
green: "hsl(var(--highlight-green))",
|
|
orange: "hsl(var(--highlight-orange))",
|
|
grey: "hsl(var(--highlight-grey))",
|
|
sky: "hsl(var(--highlight-sky))",
|
|
red: "hsl(var(--highlight-red))",
|
|
magenta: "hsl(var(--highlight-magenta))",
|
|
},
|
|
},
|
|
keyframes: {
|
|
loading: {
|
|
"0%": { opacity: 0.85 },
|
|
"25%": { opacity: 0.7 },
|
|
"50%": { opacity: 0.4 },
|
|
"75%": { opacity: 0.3 },
|
|
"100%": { opacity: 0.2 },
|
|
},
|
|
"caret-scan": {
|
|
"0%": { left: "0%" },
|
|
"100%": { left: "100%" },
|
|
},
|
|
"zip-right": {
|
|
"0%": { left: "0%", width: "0%" },
|
|
"30%": { left: "0%", width: "40%" },
|
|
"100%": { left: "100%", width: "0%" },
|
|
},
|
|
},
|
|
animation: {
|
|
loading: "loading 2s ease-in-out infinite alternate",
|
|
"caret-scan": "caret-scan 3s ease-in-out infinite",
|
|
"spin-once": "spin 1s cubic-bezier(0.4, 0, 0.2, 1)",
|
|
"zip-right": "zip-right 1s cubic-bezier(0.4, 0, 0.2, 1)",
|
|
},
|
|
},
|
|
},
|
|
plugins: [require("tailwindcss-animate"), require("@tailwindcss/typography")],
|
|
};
|