frontend/src/features/execution/exec.ts

• el · function · L18-L23 — function el(tag: string, cls?: string | null, text?: string | null): HTMLElement
• execSourcesState · function · L25-L40 — function execSourcesState(): ExecSourcesState
• setPaintExecutionChrome · function · L44-L46 — function setPaintExecutionChrome(fn: (() => void) | null): void
• paint · function · L48-L50 — function paint(): void
• toggleExecutedCode · function · L52-L57 — function toggleExecutedCode(): void
• loadExecutionSources · function · L59-L82 — async function loadExecutionSources(): Promise
• selectExecFrame · function · L84-L106 — async function selectExecFrame(frameId: string): Promise
• buildExecutedCodeView · function · L108-L154 — function buildExecutedCodeView(st: ExecSourcesState): HTMLElement
• paintExecutedCodeView · function · L156-L171 — function paintExecutedCodeView(nb: HTMLElement, st: ExecSourcesState): void