ReportMagic Script
Publisher: Panoramic Data LimitedThemes in package: 2
Language support for PanoramicData ReportMagic scripts
Language support for PanoramicData ReportMagic scripts
Full workbench mockup using this variant's colors and tokenColors.
Loading...
TextMate scopes and font styles (syntax highlighting rules).
| scope | foreground | fontStyle |
|---|---|---|
| comment.line.rmscript | #808080 | italic |
| macro.rmscript | #0033CC | — |
| constant.language.rmscript | #005086 | — |
| parameter.name.rmscript | #4E9E31 | — |
| parameter.value.rmscript | #007272 | — |
| variable.rmscript | #007272 | — |
| separator.list.rmscript | #666 | — |
| operator.rmscript | #000 | — |
| operator.variable.rmscript | #884400 | — |
| operator.special.rmscript | #E545E5 | — |
| constant.numeric.rmscript | #6BB799 | — |
| string.quoted.double.rmscript, string.quoted.single.rmscript, string.quoted.backtick.rmscript | #CA2424 | — |
| constant.character.escape.rmscript | #FF9933 | — |
TypeScript sample highlighted with this variant's colors and tokenColors.
Loading...
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}!`;
}