InternetstormBold

Name: InternetstormBold
Author: Eddy Vinck

Publisher: Eddy VinckThemes in package: 1

Inspired by the colors in Webstorm.

Open in VS Code

VS Code preview

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

InternetstormBold — InternetstormBold

fetchUser.ts

index.ts

README.md

main*

Copilot

Ln 5, Col 12

Spaces: 2

UTF-8

TypeScript

Dark+

colors

Workbench UI color keys from the theme JSON colors map.

editor.background#2B2B2B
editor.foreground#A9B7C7
editor.lineHighlightBackground#3E3D32
editor.selectionBackground#49483E
editorCursor.foreground#FFFFFF
editorWhitespace.foreground#3B3A32

tokenColors

TextMate scopes and font styles (syntax highlighting rules).

scope	foreground	fontStyle
—	#A9B7C7	—
comment	#75715E	—
string	#698857	—
constant.numeric	#9975AB	—
constant.language	#9975AB	—
constant.character, constant.other	#9975AB	—
variable	#9975AB	bold
keyword	#CE7827	bold
storage	#CE7827	bold
storage.type	#CE7827	bold
entity.name.class	#FFC765	underline
entity.other.inherited-class	#FFC765	italic underline
entity.name.function	#FFC765
variable.parameter	#CE7827	italic
entity.name.tag	#FFC765
entity.other.attribute-name	#FFC765
support.function	#FFC765
support.constant	#FFC765
support.type, support.class		—
support.other.variable	—
invalid	#FFFFFF
invalid.deprecated	#F8F8F0	—

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