File tree Expand file tree Collapse file tree 1 file changed +9
-4
lines changed
integration/vscode/ada/src Expand file tree Collapse file tree 1 file changed +9
-4
lines changed Original file line number Diff line number Diff line change @@ -165,14 +165,19 @@ export class ExtensionState {
165
165
public updateStatusBarVisibility = ( editor : vscode . TextEditor | undefined ) => {
166
166
const activeEditor = editor ?? vscode . window . activeTextEditor ;
167
167
168
- // Show the status bar if the active editor is on an Ada or a GPR source, or
168
+ // Show the status bar if the active editor is on an Ada or a GPR source,
169
+ // a JSON configuration file that might have an impact on the running ALS
170
+ // instance (config.json, als.json, settings.json...) or
169
171
// if it's the Output view that is focused (i.e: when the active editor's
170
172
// document scheme is set to 'output') and showing Ada & SPARK extension's logs.
171
173
if (
172
174
activeEditor &&
173
- ( ( activeEditor . document . uri . scheme == 'output' &&
174
- activeEditor . document . fileName . includes ( 'AdaCore' ) ) ||
175
- [ 'ada' , 'gpr' ] . includes ( activeEditor . document . languageId ) )
175
+ ( [ 'ada' , 'gpr' ] . includes ( activeEditor . document . languageId ) ||
176
+ activeEditor . document . fileName . endsWith ( 'config.json' ) ||
177
+ activeEditor . document . fileName . endsWith ( 'als.json' ) ||
178
+ activeEditor . document . fileName . endsWith ( 'settings.json' ) ||
179
+ ( activeEditor . document . uri . scheme == 'output' &&
180
+ activeEditor . document . fileName . includes ( 'AdaCore' ) ) )
176
181
) {
177
182
this . statusBar . show ( ) ;
178
183
} else {
You can’t perform that action at this time.
0 commit comments