@dodona/papyros
Version:
Scratchpad for multiple programming languages in the browser.
16 lines (15 loc) • 1.01 kB
TypeScript
import { Extension, StateEffectType, StateField } from "@codemirror/state";
export type LineEffectExtensionConfig = {
lineClass?: string;
gutterClass?: string;
marker?: string;
};
export declare function lineEffectExtension(config: LineEffectExtensionConfig): [Extension, StateEffectType<number[] | undefined>, StateField<number[] | undefined>];
export declare const usedLineExtension: Extension, setUsedLines: StateEffectType<number[] | undefined>, usedLineState: StateField<number[] | undefined>;
export declare const debugLineExtension: Extension, setDebugLines: StateEffectType<number[] | undefined>, debugLineState: StateField<number[] | undefined>;
export declare const testLineExtension: Extension, setTestLines: StateEffectType<number[] | undefined>, testLineState: StateField<number[] | undefined>;
export declare function testCodeWidgetExtension(translations: {
description: string;
edit: string;
remove: string;
}, handleEdit: () => void, handleRemove: () => void): Extension;