(partial: Partial<SessionDefaults>)
| 72 | } |
| 73 | |
| 74 | setDefaults(partial: Partial<SessionDefaults>): void { |
| 75 | this.setDefaultsForProfile(this.activeProfile, partial); |
| 76 | } |
| 77 | |
| 78 | setDefaultsForProfile(profile: string | null, partial: Partial<SessionDefaults>): void { |
| 79 | const previous = this.getRawForProfile(profile); |