@@ -8,6 +8,7 @@ import { initializeTesting } from './gnattest';
88import { GprTaskProvider } from './gprTaskProvider' ;
99import { TERMINAL_ENV_SETTING_NAME } from './helpers' ;
1010import { registerTaskProviders } from './taskProviders' ;
11+ import { logger } from './extension' ;
1112
1213/**
1314 * This class encapsulates all state that should be maintained throughout the
@@ -125,10 +126,13 @@ export class ExtensionState {
125126 // React to changes in configuration to recompute predefined tasks if the user
126127 // changes scenario variables' values.
127128 public configChanged = ( e : vscode . ConfigurationChangeEvent ) => {
129+ logger . info ( 'didChangeConfiguration event received' ) ;
130+
128131 if (
129132 e . affectsConfiguration ( 'ada.scenarioVariables' ) ||
130133 e . affectsConfiguration ( 'ada.projectFile' )
131134 ) {
135+ logger . info ( 'project related settings have changed: clearing caches for tasks' ) ;
132136 this . clearALSCache ( ) ;
133137 this . unregisterTaskProviders ( ) ;
134138 this . registerTaskProviders ( ) ;
@@ -138,6 +142,10 @@ export class ExtensionState {
138142 // a popup to reload the VS Code window and thus restart the
139143 // Ada extension.
140144 if ( e . affectsConfiguration ( TERMINAL_ENV_SETTING_NAME ) ) {
145+ const new_value = vscode . workspace . getConfiguration ( ) . get ( TERMINAL_ENV_SETTING_NAME ) ;
146+ logger . info ( `${ TERMINAL_ENV_SETTING_NAME } has changed: show reload popup` ) ;
147+ logger . info ( `${ TERMINAL_ENV_SETTING_NAME } : ${ JSON . stringify ( new_value , undefined , 2 ) } ` ) ;
148+
141149 void this . showReloadWindowPopup ( ) ;
142150 }
143151 } ;
0 commit comments