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#0E131B
activityBarBadge.background#8BE9FD
activityBarBadge.foreground#0E131B
badge.background#EBF85B
badge.foreground#0E131B
button.background#0E131B

tokenColors

TextMate scopes and font styles (syntax highlighting rules).

scope	foreground	fontStyle
support.function.idl-procedure-method	#ff79c6	bold
entity.name.function.idl-method	#f1fa8c	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}!`;
}