Coda

Name: Coda
Author: jasen215

Publisher: jasen215Themes in package: 1

A theme look like Coda

Open in VS Code GitHub

VS Code preview

Full workbench mockup using this variant's colors and tokenColors.

Coda — Coda

fetchUser.ts

index.ts

README.md

main*

Copilot

Ln 5, Col 12

Spaces: 2

UTF-8

TypeScript

Light+

tokenColors

TextMate scopes and font styles (syntax highlighting rules).

scope	foreground	fontStyle
—	#000000	—
comment	#009000	italic
string	#ED7722
constant.numeric	#0F20F6	—
constant.language	#916319
constant.character, constant.other	#916319
variable	#916319
keyword	#CA0063
storage	#CA0063
entity.name.class	#CC4C07	—
entity.other.inherited-class	#CC4C07	—
entity.name.function	#053369
variable.parameter	#053369
entity.name.tag	#881181
entity.other.attribute-name	#881181
support.function	#7520AF
variable.other, variable.js, punctuation.separator.variable	#996633
constant.language	#000000
keyword.operator, declaration.function.operator, meta.preprocessor.c.include	#000000
punctuation.section.embedded -(source string source punctuation.section.embedded), meta.brace.erb.html	#F02A1D	—
invalid	#EB291C	—
Normal Variable	#916305	—
meta.function-call	#163369
keyword.control	#AA2063
sublimelinter.mark.warning	#EDBA00	—
sublimelinter.gutter-mark	#FFFFFF	—
sublimelinter.mark.error	#DA2000	—

Shiki preview

TypeScript sample highlighted with this variant's colors and tokenColors.

export interface User {
  id: string;
  name: string;
  role: "admin" | "member";
  tags: string[];
}

/**
 * Fetch user data by ID
 * @param id  
 * @returns User object or null if ID is invalid
 */
export async function fetchUser(id: string): Promise<User | null> {
  if (!id) {
    return null;
  }

  const response = await fetch(`/api/users/${id}`, {
    method: "GET",
    headers: { Accept: "application/json" },
  });

  if (!response.ok) {
    throw new Error(`HTTP ${response.status}`);
  }

  return (await response.json()) as User;
}

function greet(user: User): string {
  // Simple greeting function that uses the user's name
  return `Hello, ${user.name}!`;
}