Adding gnommoeditor in the current version

This commit is contained in:
2026-04-11 09:24:21 +02:00
commit 53d310da82
237 changed files with 64938 additions and 0 deletions
+14
View File
@@ -0,0 +1,14 @@
import { type GlitchComponentProps } from './types';
type ComponentDevUiOverrides = {
showNumericDiagnostics?: boolean;
compactNumericDiagnostics?: boolean;
onOpenHarness?: () => void;
onSetParam?: (name: 'complexity' | 'speedup', value: number) => void;
maxComplexity?: number;
maxSpeedup?: number;
};
type ComponentProps = GlitchComponentProps & {
devUi?: ComponentDevUiOverrides;
};
export default function Component(props: ComponentProps): import("react/jsx-runtime").JSX.Element;
export {};