Focus_Dark Theme

Name: Focus_Dark Theme
Author: gerane

Publisher: geraneThemes in package: 1

Focus_Dark Theme ported from the FocusDark TextMate Theme

Open in VS Code GitHub

VS Code preview

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

Focus_Dark Theme — Focus_Dark

fetchUser.ts

index.ts

README.md

main*

Copilot

Ln 5, Col 12

Spaces: 2

UTF-8

TypeScript

Dark+

tokenColors

TextMate scopes and font styles (syntax highlighting rules).

scope	foreground	fontStyle
—	#c2c5bd	—
comment, constant, entity, invalid, keyword, markup, meta, storage, string, support, variable, source	#34373b	—
string.quoted, meta.paragraph, entity.name.section	#c5c8c6	—
text.tex.latex support.function.general.tex, support.function.section.latex, string.other.math.block.environment.latex, string.other.math.block.environment.latex support.function.general.tex, text.tex.latex string.other.math.tex, text.tex.latex constant.other.general.math.tex, text.tex.latex string.other.math.tex meta.group.braces.tex, text.tex.latex invalid.illegal.string	#999b99	—
string.quoted.double.html, string.quoted.double.xml	#34373b	—
markup.raw.inline.markdown, string.other.link.title.markdown, string.other.link.description.markdown, markup.quote.markdown	#c5c8c6	—
markup.underline.link.markdown, markup.underline.link.image.markdown	#999b99	—
meta.image.inline.markdown, meta.link.inline.markdown	#34373b	—

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}!`;
}