Editor · port 05 of 14

Bigface for Zed

A Zed theme family (schema v0.2.0).

Checked against its schema1 file
main.ts
// main.ts — colours, not a screenshot.import { greet } from "./hello"; type User = { id: number; name: string }; const ENDPOINT = "https://api.example.com/users"; export async function main(ids: number[]): Promise<void> {  const res = await fetch(ENDPOINT);  if (!res.ok) throw new Error(`users: ${res.status}`);  const all: User[] = await res.json();  const picked = all.filter((u) => ids.includes(u.id));  picked.forEach((u) => greet(u.name));}

Install

curl -fsSL https://bigface.qqntt.com/install.sh | sh -s -- zed
Writes Bigface's own file, prints the one line to add.

It never edits your config; it prints the one line you still need to add (or remove).Read the script first, or add --dry-run.

Or do it by hand
  1. Copy bigface.json to ~/.config/zed/themes/.
  2. Open the theme selector (cmd-k cmd-t) and choose Bigface.
  3. Or run zed: install dev extension and select the themes/zed folder of this repo.

Download

What was checked

Checked against its schemaValidated against Zed's published theme schema; not loaded inside Zed.

bigface.json

themes/zed/themes/bigface.json
{
  "$schema": "https://zed.dev/schema/themes/v0.2.0.json",
  "name": "Bigface",
  "author": "Jun Guo",
  "themes": [
    {
      "name": "Bigface",
      "appearance": "dark",
      "style": {
        "background.appearance": "opaque",
        "border": "#333333",
        "border.variant": "#333333",
        "border.focused": "#00b0ff",
        "border.selected": "#00b0ff",
        "border.transparent": "#00000000",
        "border.disabled": "#333333",
        "elevated_surface.background": "#2e332e",
        "surface.background": "#1f231f",
        "background": "#1f231f",
        "element.background": "#2e332e",
        "element.hover": "#3b3c32",
        "element.active": "#3b514d",
        "element.selected": "#3b514d",
        "element.disabled": "#2e332e",
        "drop_target.background": "#00b0ff40",
        "ghost_element.background": "#00000000",
        "ghost_element.hover": "#3b3c32",
        "ghost_element.active": "#3b514d",
        "ghost_element.selected": "#3b514d",
        "ghost_element.disabled": "#2e332e",
        "text": "#d9d9d4",
        "text.muted": "#9c9a8f",
        "text.placeholder": "#6e6b68",
        "text.disabled": "#6e6b68",
        "text.accent": "#00b0ff",
        "icon": "#9c9a8f",
        "icon.muted": "#6e6b68",
        "icon.disabled": "#6e6b68",
        "icon.placeholder": "#6e6b68",
        "icon.accent": "#00b0ff",
…

Generated from the palette. Source:themes/zed.