astro
Version:
Astro is a modern site builder with web best practices, performance, and DX front-of-mind.
17 lines (16 loc) • 513 B
TypeScript
export declare const DEFAULT_PREFERENCES: {
devToolbar: {
/** Specifies whether the user has the Dev Overlay enabled */
enabled: boolean;
};
checkUpdates: {
/** Specifies whether the user has the update check enabled */
enabled: boolean;
};
_variables: {
/** Time since last update check */
lastUpdateCheck: number;
};
};
export type Preferences = typeof DEFAULT_PREFERENCES;
export type PublicPreferences = Omit<Preferences, '_variables'>;