feat: "friendly number handling" for note erasure timeouts

This commit is contained in:
Panagiotis Papadopoulos
2025-02-08 11:55:16 +01:00
parent 1e95135720
commit 2bb79c4209
4 changed files with 82 additions and 9 deletions

View File

@@ -61,6 +61,7 @@ export interface OptionDefinitions extends KeyboardShortcutsOptions<KeyboardActi
leftPaneWidth: number;
rightPaneWidth: number;
eraseEntitiesAfterTimeInSeconds: number;
eraseEntitiesAfterTimeScale: number;
autoReadonlySizeText: number;
autoReadonlySizeCode: number;
maxContentWidth: number;