59
60
constructor(channel: IChannel) {
62
>
this._register(channel.listen<RawManagedSettingsData>('onDidChangeRawManagedSettings')(managedSettings => this.updateRawManagedSettings(managedSettings, true)));
63
>
this._register(channel.listen<ManagedSettingsData>('onDidChangeManagedSettings')(managedSettings => this.updateManagedSettings(managedSettings, true)));
64
>
channel.call<RawManagedSettingsData>('getRawManagedSettings').then(managedSettings => {
65
>
if (!this.hasReceivedRawManagedSettings) {
66
this.updateRawManagedSettings(managedSettings, true);
67
}
69
>
channel.call<ManagedSettingsData>('getManagedSettings').then(managedSettings => {
70
>
if (!this.hasReceivedManagedSettings) {
71
this.updateManagedSettings(managedSettings, true);
72
}
74
>
}
75
76
private updateRawManagedSettings(managedSettings: RawManagedSettingsData, fireEvent: boolean): void {
78
>
if (equals(this._rawManagedSettings, managedSettings)) {
79
return;
80
}
82
>
this._rawManagedSettings = managedSettings;
83
>
if (fireEvent) {
84
>
this._onDidChangeRawManagedSettings.fire(this._rawManagedSettings);
85
>
}
86
>
}
87
88
private updateManagedSettings(managedSettings: ManagedSettingsData, fireEvent: boolean): void {
90
>
if (equals(this._managedSettings, managedSettings)) {
91
return;
92
}
94
>
this._managedSettings = managedSettings;
95
>
if (fireEvent) {
96
>
this._onDidChangeManagedSettings.fire(this._managedSettings);
97
>
}
98
>
}
99
}