@@ -1046,104 +1046,125 @@
1046
1046
"commands" : [
1047
1047
{
1048
1048
"command" : " ada.restartLanguageServers" ,
1049
- "title" : " Ada: Restart Language Servers" ,
1049
+ "title" : " Restart Language Servers" ,
1050
+ "category" : " Ada" ,
1050
1051
"when" : " ADA_PROJECT_CONTEXT"
1051
1052
},
1052
1053
{
1053
1054
"command" : " ada.createNewAdaMainUnit" ,
1054
- "title" : " Ada: Create Main Unit" ,
1055
+ "title" : " Create Main Unit" ,
1056
+ "category" : " Ada" ,
1055
1057
"shortTitle" : " Ada Main Unit"
1056
1058
},
1057
1059
{
1058
1060
"command" : " ada.createNewAdaPackage" ,
1059
- "title" : " Ada: Create Package" ,
1061
+ "title" : " Create Package" ,
1062
+ "category" : " Ada" ,
1060
1063
"shortTitle" : " Ada Package"
1061
1064
},
1062
1065
{
1063
1066
"command" : " ada.createNewGPRProjectFile" ,
1064
- "title" : " Ada: Create GPR Project File" ,
1067
+ "title" : " Create GPR Project File" ,
1068
+ "category" : " Ada" ,
1065
1069
"shortTitle" : " GPR Project File"
1066
1070
},
1067
1071
{
1068
1072
"command" : " ada.otherFile" ,
1069
- "title" : " Ada: Go to other file"
1073
+ "title" : " Go to other file" ,
1074
+ "category" : " Ada"
1070
1075
},
1071
1076
{
1072
1077
"command" : " als-reload-project" ,
1073
- "title" : " Ada: Reload project" ,
1078
+ "title" : " Reload project" ,
1079
+ "category" : " Ada" ,
1074
1080
"icon" : " $(refresh)"
1075
1081
},
1076
1082
{
1077
1083
"command" : " als-open-project-file" ,
1078
- "title" : " Ada: Edit current project file"
1084
+ "title" : " Edit current project file" ,
1085
+ "category" : " Ada"
1079
1086
},
1080
1087
{
1081
1088
"command" : " als-open-log-file" ,
1082
- "title" : " Ada: Open Ada Language Server log file"
1089
+ "title" : " Open Ada Language Server log file" ,
1090
+ "category" : " Ada"
1083
1091
},
1084
1092
{
1085
1093
"command" : " ada.subprogramBox" ,
1086
- "title" : " Ada: Add subprogram box"
1094
+ "title" : " Add subprogram box" ,
1095
+ "category" : " Ada"
1087
1096
},
1088
1097
{
1089
1098
"command" : " ada.showExtensionOutput" ,
1090
- "title" : " Ada: Show extension output" ,
1099
+ "title" : " Show extension output" ,
1100
+ "category" : " Ada" ,
1091
1101
"when" : " ADA_PROJECT_CONTEXT"
1092
1102
},
1093
1103
{
1094
1104
"command" : " ada.showAdaLSOutput" ,
1095
- "title" : " Ada: Show Ada Language Server output" ,
1105
+ "title" : " Show Ada Language Server output" ,
1106
+ "category" : " Ada" ,
1096
1107
"when" : " ADA_PROJECT_CONTEXT"
1097
1108
},
1098
1109
{
1099
1110
"command" : " ada.showGprLSOutput" ,
1100
- "title" : " Ada: Show GPR Language Server output" ,
1111
+ "title" : " Show GPR Language Server output" ,
1112
+ "category" : " Ada" ,
1101
1113
"when" : " ADA_PROJECT_CONTEXT"
1102
1114
},
1103
1115
{
1104
1116
"command" : " ada.addMissingDirsToWorkspace" ,
1105
- "title" : " Ada: Add Missing Source Directories To Workspace" ,
1117
+ "title" : " Add Missing Source Directories To Workspace" ,
1118
+ "category" : " Ada" ,
1106
1119
"when" : " ADA_PROJECT_CONTEXT"
1107
1120
},
1108
1121
{
1109
1122
"command" : " ada.buildAndRunMainAsk" ,
1110
- "title" : " Ada: Build and run project main..." ,
1123
+ "title" : " Build and run project main..." ,
1124
+ "category" : " Ada" ,
1111
1125
"icon" : " $(run-all)" ,
1112
1126
"when" : " ADA_PROJECT_CONTEXT"
1113
1127
},
1114
1128
{
1115
1129
"command" : " ada.buildAndRunMainLast" ,
1116
- "title" : " Ada: Build and run last used main" ,
1130
+ "title" : " Build and run last used main" ,
1131
+ "category" : " Ada" ,
1117
1132
"icon" : " $(run)" ,
1118
1133
"when" : " ADA_PROJECT_CONTEXT"
1119
1134
},
1120
1135
{
1121
1136
"command" : " ada.spark.tasks.proveFile" ,
1122
- "title" : " spark: Prove file (task wrapper)" ,
1137
+ "title" : " Prove file (task wrapper)" ,
1138
+ "category" : " SPARK" ,
1123
1139
"when" : " editorLangId == ada && editorTextFocus"
1124
1140
},
1125
1141
{
1126
1142
"command" : " ada.spark.tasks.proveSubprogram" ,
1127
- "title" : " spark: Prove subprogram (task wrapper)" ,
1143
+ "title" : " Prove subprogram (task wrapper)" ,
1144
+ "category" : " SPARK" ,
1128
1145
"when" : " editorLangId == ada && editorTextFocus"
1129
1146
},
1130
1147
{
1131
1148
"command" : " ada.spark.tasks.proveSelectedRegion" ,
1132
- "title" : " spark: Prove selected region (task wrapper)" ,
1149
+ "title" : " Prove selected region (task wrapper)" ,
1150
+ "category" : " SPARK" ,
1133
1151
"when" : " editorLangId == ada && editorTextFocus"
1134
1152
},
1135
1153
{
1136
1154
"command" : " ada.spark.tasks.proveLine" ,
1137
- "title" : " spark: Prove line (task wrapper)" ,
1155
+ "title" : " Prove line (task wrapper)" ,
1156
+ "category" : " SPARK" ,
1138
1157
"when" : " editorLangId == ada && editorTextFocus"
1139
1158
},
1140
1159
{
1141
1160
"command" : " ada.loadGnatCovXMLReport" ,
1142
- "title" : " ada: GNATcoverage - Load an existing XML coverage report"
1161
+ "category" : " Ada" ,
1162
+ "title" : " GNATcoverage - Load an existing XML coverage report"
1143
1163
},
1144
1164
{
1145
1165
"command" : " ada.issueReporter" ,
1146
- "title" : " Ada: Report Issue"
1166
+ "category" : " Ada" ,
1167
+ "title" : " Report Issue"
1147
1168
}
1148
1169
],
1149
1170
"keybindings" : [
1434
1455
"winston" : " 3.14.2" ,
1435
1456
"ws" : " ^8.18.0"
1436
1457
}
1437
- }
1458
+ }
0 commit comments