feat: add revisionSnapshotTimeIntervalTimeScale option

to be used in the revision_snapshot_interval widget, when it is ported to use TimeSelector
This commit is contained in:
Panagiotis Papadopoulos 2025-02-18 08:57:58 +01:00
parent a0c2715980
commit eeb99cf37c
3 changed files with 3 additions and 0 deletions

View File

@ -15,6 +15,7 @@ const ALLOWED_OPTIONS = new Set([
"eraseEntitiesAfterTimeScale",
"protectedSessionTimeout",
"revisionSnapshotTimeInterval",
"revisionSnapshotTimeIntervalTimeScale",
"revisionSnapshotNumberLimit",
"zoomFactor",
"theme",

View File

@ -75,6 +75,7 @@ async function initNotSyncedOptions(initialized: boolean, opts: NotSyncedOpts =
*/
const defaultOptions: DefaultOption[] = [
{ name: "revisionSnapshotTimeInterval", value: "600", isSynced: true },
{ name: "revisionSnapshotTimeIntervalTimeScale", value: "60", isSynced: true }, // default to Minutes
{ name: "revisionSnapshotNumberLimit", value: "-1", isSynced: true },
{ name: "protectedSessionTimeout", value: "600", isSynced: true },
{ name: "zoomFactor", value: isWindows ? "0.9" : "1.0", isSynced: false },

View File

@ -49,6 +49,7 @@ export interface OptionDefinitions extends KeyboardShortcutsOptions<KeyboardActi
lastSyncedPull: number;
lastSyncedPush: number;
revisionSnapshotTimeInterval: number;
revisionSnapshotTimeIntervalTimeScale: number;
revisionSnapshotNumberLimit: number;
protectedSessionTimeout: number;
zoomFactor: number;