feat: add protectedSessionTimeoutScale option

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

View File

@ -14,6 +14,7 @@ const ALLOWED_OPTIONS = new Set([
"eraseEntitiesAfterTimeInSeconds", "eraseEntitiesAfterTimeInSeconds",
"eraseEntitiesAfterTimeScale", "eraseEntitiesAfterTimeScale",
"protectedSessionTimeout", "protectedSessionTimeout",
"protectedSessionTimeoutTimeScale",
"revisionSnapshotTimeInterval", "revisionSnapshotTimeInterval",
"revisionSnapshotNumberLimit", "revisionSnapshotNumberLimit",
"zoomFactor", "zoomFactor",

View File

@ -77,6 +77,7 @@ const defaultOptions: DefaultOption[] = [
{ name: "revisionSnapshotTimeInterval", value: "600", isSynced: true }, { name: "revisionSnapshotTimeInterval", value: "600", isSynced: true },
{ name: "revisionSnapshotNumberLimit", value: "-1", isSynced: true }, { name: "revisionSnapshotNumberLimit", value: "-1", isSynced: true },
{ name: "protectedSessionTimeout", value: "600", isSynced: true }, { name: "protectedSessionTimeout", value: "600", isSynced: true },
{ name: "protectedSessionTimeoutTimeScale", value: "60", isSynced: true },
{ name: "zoomFactor", value: isWindows ? "0.9" : "1.0", isSynced: false }, { name: "zoomFactor", value: isWindows ? "0.9" : "1.0", isSynced: false },
{ name: "overrideThemeFonts", value: "false", isSynced: false }, { name: "overrideThemeFonts", value: "false", isSynced: false },
{ name: "mainFontFamily", value: "theme", isSynced: false }, { name: "mainFontFamily", value: "theme", isSynced: false },

View File

@ -51,6 +51,7 @@ export interface OptionDefinitions extends KeyboardShortcutsOptions<KeyboardActi
revisionSnapshotTimeInterval: number; revisionSnapshotTimeInterval: number;
revisionSnapshotNumberLimit: number; revisionSnapshotNumberLimit: number;
protectedSessionTimeout: number; protectedSessionTimeout: number;
protectedSessionTimeoutTimeScale: number;
zoomFactor: number; zoomFactor: number;
mainFontSize: number; mainFontSize: number;
treeFontSize: number; treeFontSize: number;