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#1c75bc
activityBar.border#0e5a97
activityBar.foreground#ffffff
activityBar.inactiveForeground#ffffffaa
activityBarBadge.background#ffffff
activityBarBadge.foreground#1c75bc

tokenColors

TextMate scopes and font styles (syntax highlighting rules).

scope	foreground	fontStyle
comment, punctuation.definition.comment	#6e7a9090	italic
constant, constant.numeric, constant.language, support.constant	#0550ae	—
string, string.quoted.single, string.quoted.double, string.quoted.template	#0a3069	—
constant.character.escape	#0e97aa	—
keyword, keyword.control, storage.type, storage.modifier

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