Paysandu Themes

Name: Paysandu Themes
Author: FelipeSantos92Dev

Publisher: FelipeSantos92DevThemes in package: 2

Temas inspirados nas cores dos uniformes do Gigante do Norte

GitHub

Color themes

VS Code preview

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

colors

Workbench UI color keys from the theme JSON colors map.

activityBar.background#212121
activityBar.border#212121
activityBar.foreground#CFD8DC
activityBar.inactiveForeground#607D8B
activityBarBadge.background#29ABE2
activityBarBadge.foreground#212121

tokenColors

TextMate scopes and font styles (syntax highlighting rules).

scope	foreground	fontStyle
comment, punctuation.definition.comment	#607D8B	italic
comment.block.preprocessor	#607D8B
comment.documentation, comment.block.documentation	#81C784	—
invalid.illegal	#E57373	—
keyword.operator

Shiki preview

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

Paysandu Themes | Coding Theme

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

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