IDL for VSCode | Coding Theme

IDL for VSCode

Name: IDL for VSCode
Author: IDL

Publisher: IDLThemes in package: 3

IDL syntax highlighting, code snippets, running IDL programs, notebooks, and much more!

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#333842
activityBar.foreground#D7DAE0
activityBarBadge.background#528BFF
activityBarBadge.foreground#D7DAE0
badge.background#528BFF
badge.foreground#D7DAE0

tokenColors

TextMate scopes and font styles (syntax highlighting rules).

scope	foreground	fontStyle
support.function.idl-procedure-method	#A555C2	bold
entity.name.function.idl-method	#DE52D5	bold
support.function.idl-procedure, entity.name.procedure.idl	—	bold
support.function.idl-function, entity.name.function.idl	—	bold
parameter.definition.keyword.idl, parameter.usage.keyword.idl	—

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

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