Skip to content

Commit 5d9d9be

Browse files
elierichaeliericha
committed
Organize settings into meaningful groups
1 parent fa3a9ee commit 5d9d9be

File tree

1 file changed

+85
-62
lines changed

1 file changed

+85
-62
lines changed

‎integration/vscode/ada/package.json‎

Lines changed: 85 additions & 62 deletions
Original file line numberDiff line numberDiff line change
@@ -276,45 +276,15 @@
276276
"configuration": [
277277
{
278278
"type": "object",
279-
"title": "Ada",
279+
"title": "Project",
280+
"order": 0,
280281
"properties": {
281-
"ada.trace.server": {
282-
"scope": "window",
283-
"type": "string",
284-
"enum": [
285-
"off",
286-
"messages",
287-
"verbose"
288-
],
289-
"enumDescriptions": [
290-
"No traces are emitted.",
291-
"Brief traces are emitted for each request sent and each response received.",
292-
"Verbose traces are emitted for each request sent and each response received, including the message content."
293-
],
294-
"default": "off",
295-
"description": "Instructs the VS Code language client to log the communication with the Ada language server in the VS Code output window 'Ada Language Server'."
296-
},
297-
"gpr.trace.server": {
298-
"scope": "window",
299-
"type": "string",
300-
"enum": [
301-
"off",
302-
"messages",
303-
"verbose"
304-
],
305-
"enumDescriptions": [
306-
"No traces are emitted.",
307-
"Brief traces are emitted for each request sent and each response received.",
308-
"Verbose traces are emitted for each request sent and each response received, including the message content."
309-
],
310-
"default": "off",
311-
"description": "Instructs the VS Code language client to log the communication with the GPR language server in the VS Code output window 'GPR Language Server'."
312-
},
313282
"ada.projectFile": {
314283
"scope": "window",
315284
"type": "string",
316285
"default": "",
317-
"description": "GPR project file (*.gpr) for this workspace.\n\nIt is recommended to set this to a relative path starting at the root of the workspace."
286+
"description": "GPR project file (*.gpr) for this workspace.\n\nIt is recommended to set this to a relative path starting at the root of the workspace.",
287+
"order": 0
318288
},
319289
"ada.scenarioVariables": {
320290
"scope": "window",
@@ -325,14 +295,48 @@
325295
".*": {
326296
"type": "string"
327297
}
328-
}
298+
},
299+
"order": 1
329300
},
330301
"ada.defaultCharset": {
331302
"scope": "window",
332303
"type": "string",
333304
"default": "iso-8859-1",
334305
"description": "The character set that the Ada Language Server should use when reading files from disk."
335306
},
307+
"ada.relocateBuildTree": {
308+
"scope": "window",
309+
"type": "string",
310+
"default": "",
311+
"description": "The folder for out-of-tree build.",
312+
"markdownDescription": "The path to a directory used for out-of-tree builds. This feature is related to the [--relocate-build-tree GPRbuild command line switch](https://docs.adacore.com/gprbuild-docs/html/gprbuild_ug/building_with_gprbuild.html#switches)."
313+
},
314+
"ada.rootDir": {
315+
"scope": "window",
316+
"type": "string",
317+
"default": "",
318+
"markdownDescription": "This setting must be used in conjunction with the `relocateBuildTree` setting.\n\nIt specifies the root directory for artifact relocation. It corresponds to the [--root-dir GPRbuild command line switch](https://docs.adacore.com/gprbuild-docs/html/gprbuild_ug/building_with_gprbuild.html#switches)."
319+
}
320+
}
321+
},
322+
{
323+
"type": "object",
324+
"title": "Formatting",
325+
"order": 1,
326+
"properties": {
327+
"ada.onTypeFormatting.indentOnly": {
328+
"scope": "window",
329+
"type": "boolean",
330+
"default": true,
331+
"markdownDescription": "If the VS Code `editor.formatOnType` setting is enabled, the Ada Language Server will format Ada code while it is being typed in the editor, in particular when a new line is typed.\n\nThis setting controls whether formatting should only perform the indentation of the new line (true) or also format the previous line (false)."
332+
}
333+
}
334+
},
335+
{
336+
"type": "object",
337+
"title": "UI",
338+
"order": 2,
339+
"properties": {
336340
"ada.documentationStyle": {
337341
"scope": "window",
338342
"type": "string",
@@ -371,43 +375,18 @@
371375
"default": true,
372376
"description": "Controls whether or not the Ada Language Server should emit diagnostics into the VS Code Problems view."
373377
},
374-
"ada.enableIndexing": {
375-
"scope": "window",
376-
"type": "boolean",
377-
"default": true,
378-
"description": "Controls whether the Ada Language Server should index the source files immediately after loading a project.\n\nIf set to false, indexing will be deferred to the time when an action requiring the index is first performed, e.g. hovering over a referenced entity to get its documentation."
379-
},
380378
"ada.foldComments": {
381379
"scope": "window",
382380
"type": "boolean",
383381
"default": true,
384382
"description": "Controls whether comments should be folded like code blocks."
385383
},
386-
"ada.followSymlinks": {
387-
"scope": "window",
388-
"type": "boolean",
389-
"default": true,
390-
"description": "Controls the Ada Language Server normalizes the file paths received from the client."
391-
},
392384
"ada.namedNotationThreshold": {
393385
"scope": "window",
394386
"type": "integer",
395387
"default": 3,
396388
"description": "Defines the number of parameters/components beyond which named notation is used for completion snippets."
397389
},
398-
"ada.relocateBuildTree": {
399-
"scope": "window",
400-
"type": "string",
401-
"default": "",
402-
"description": "The folder for out-of-tree build.",
403-
"markdownDescription": "The path to a directory used for out-of-tree builds. This feature is related to the [--relocate-build-tree GPRbuild command line switch](https://docs.adacore.com/gprbuild-docs/html/gprbuild_ug/building_with_gprbuild.html#switches)."
404-
},
405-
"ada.rootDir": {
406-
"scope": "window",
407-
"type": "string",
408-
"default": "",
409-
"markdownDescription": "This setting must be used in conjunction with the `relocateBuildTree` setting.\n\nIt specifies the root directory for artifact relocation. It corresponds to the [--root-dir GPRbuild command line switch](https://docs.adacore.com/gprbuild-docs/html/gprbuild_ug/building_with_gprbuild.html#switches)."
410-
},
411390
"ada.useCompletionSnippets": {
412391
"scope": "window",
413392
"type": "boolean",
@@ -419,12 +398,56 @@
419398
"type": "boolean",
420399
"default": false,
421400
"description": "Enable editing Ada comments to update references to an entity when it is being renamed."
401+
}
402+
}
403+
},
404+
{
405+
"type": "object",
406+
"title": "Miscelaneous",
407+
"properties": {
408+
"ada.enableIndexing": {
409+
"scope": "window",
410+
"type": "boolean",
411+
"default": true,
412+
"description": "Controls whether the Ada Language Server should index the source files immediately after loading a project.\n\nIf set to false, indexing will be deferred to the time when an action requiring the index is first performed, e.g. hovering over a referenced entity to get its documentation."
422413
},
423-
"ada.onTypeFormatting.indentOnly": {
414+
"ada.followSymlinks": {
424415
"scope": "window",
425416
"type": "boolean",
426417
"default": true,
427-
"markdownDescription": "If the VS Code `editor.formatOnType` setting is enabled, the Ada Language Server will format Ada code while it is being typed in the editor, in particular when a new line is typed.\n\nThis setting controls whether formatting should only perform the indentation of the new line (true) or also format the previous line (false)."
418+
"description": "Controls the Ada Language Server normalizes the file paths received from the client."
419+
},
420+
"ada.trace.server": {
421+
"scope": "window",
422+
"type": "string",
423+
"enum": [
424+
"off",
425+
"messages",
426+
"verbose"
427+
],
428+
"enumDescriptions": [
429+
"No traces are emitted.",
430+
"Brief traces are emitted for each request sent and each response received.",
431+
"Verbose traces are emitted for each request sent and each response received, including the message content."
432+
],
433+
"default": "off",
434+
"description": "Instructs the VS Code language client to log the communication with the Ada language server in the VS Code output window 'Ada Language Server'."
435+
},
436+
"gpr.trace.server": {
437+
"scope": "window",
438+
"type": "string",
439+
"enum": [
440+
"off",
441+
"messages",
442+
"verbose"
443+
],
444+
"enumDescriptions": [
445+
"No traces are emitted.",
446+
"Brief traces are emitted for each request sent and each response received.",
447+
"Verbose traces are emitted for each request sent and each response received, including the message content."
448+
],
449+
"default": "off",
450+
"description": "Instructs the VS Code language client to log the communication with the GPR language server in the VS Code output window 'GPR Language Server'."
428451
}
429452
}
430453
}

0 commit comments

Comments
 (0)