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#FAFAFA
activityBar.foreground#121417
activityBarBadge.background#526FFF
activityBarBadge.foreground#FFFFFF
badge.background#526FFF
badge.foreground#FFFFFF

tokenColors

TextMate scopes and font styles (syntax highlighting rules).

scope	foreground	fontStyle
support.function.idl-procedure-method	#007F7F	bold
entity.name.function.idl-method	#00C0C0	bold
support.function.idl-procedure, entity.name.procedure.idl	#00007F	bold
support.function.idl-function, entity.name.function.idl	#0000FF	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}!`;
}