(profile: string | null)
| 50 | } |
| 51 | |
| 52 | private clearAllForProfile(profile: string | null): void { |
| 53 | if (profile === null) { |
| 54 | this.globalDefaults = {}; |
| 55 | this.revision += 1; |
| 56 | log('info', '[Session] All defaults cleared (global)'); |
| 57 | return; |
| 58 | } |
| 59 | |
| 60 | delete this.profiles[profile]; |
| 61 | this.revision += 1; |
| 62 | log('info', `[Session] All defaults cleared (${profile})`); |
| 63 | } |
| 64 | |
| 65 | private setDefaultsForResolvedProfile(profile: string | null, defaults: SessionDefaults): void { |
| 66 | const storedDefaults = this.cloneDefaults(defaults); |