mirror of
https://github.com/arduino/arduino-ide.git
synced 2025-11-15 13:19:28 +00:00
@@ -49,7 +49,10 @@ export class AuthenticationClientService
|
||||
this.service
|
||||
.session()
|
||||
.then((session) => this.notifySessionDidChange(session));
|
||||
|
||||
this.setOptions();
|
||||
this.service.initAuthSession()
|
||||
|
||||
this.arduinoPreferences.onPreferenceChanged((event) => {
|
||||
if (event.preferenceName.startsWith('arduino.auth.')) {
|
||||
this.setOptions();
|
||||
|
||||
Reference in New Issue
Block a user