Skip to content

Commit e750240

Browse files
CGNonofrCGNonofr
authored
Merge pull request #54 from CodinGame/fix-verilog-lint-language-version
Fix verilog lint language version
2 parents c5813de + a207214 commit e750240

File tree

9 files changed

+283
-105
lines changed

9 files changed

+283
-105
lines changed

‎.github/workflows/check_build.yml‎

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,7 @@
11
name: Check build
22
on:
3-
push:
4-
branches-ignore:
3+
pull_request:
4+
branches:
55
- main
66

77
jobs:

‎src/languages/extensions/configurations/cpptools.json‎

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -2409,7 +2409,8 @@
24092409
"type": "object",
24102410
"markdownDescription": "Configure glob patterns for excluding folders (and files if `#C_Cpp.exclusionPolicy#` is changed). These are specific to the C/C++ extension and are in addition to `#files.exclude#`, but unlike `#files.exclude#` they also apply to paths outside the current workspace folder and are not removed from the Explorer view. Read more about glob patterns [here](https://code.visualstudio.com/docs/editor/codebasics#_advanced-search-options).",
24112411
"default": {
2412-
"**/.vscode": true
2412+
"**/.vscode": true,
2413+
"**/.vs": true
24132414
},
24142415
"additionalProperties": {
24152416
"anyOf": [

‎src/languages/extensions/configurations/dart.json‎

Lines changed: 48 additions & 15 deletions
Original file line numberDiff line numberDiff line change
@@ -30,7 +30,7 @@
3030
"dart.analyzerAdditionalArgs": {
3131
"type": "array",
3232
"default": [],
33-
"description": "Additional arguments to pass to the Dart analysis server.",
33+
"description": "Additional arguments to pass to the Dart Analysis Server.",
3434
"scope": 3,
3535
"items": {
3636
"type": "string"
@@ -51,7 +51,7 @@
5151
"string"
5252
],
5353
"default": null,
54-
"description": "The path to a custom Dart analysis server.",
54+
"description": "The path to a custom Dart Analysis Server. This setting is intended for use by Dart Analysis Server developers.",
5555
"scope": 6
5656
},
5757
"dart.analyzerSshHost": {
@@ -60,7 +60,7 @@
6060
"string"
6161
],
6262
"default": null,
63-
"description": "An SSH host to run the analysis server.\nThis can be useful when modifying code on a remote machine using SSHFS.",
63+
"description": "An SSH host to run the Analysis Server.\nThis can be useful when modifying code on a remote machine using SSHFS.",
6464
"scope": 3
6565
},
6666
"dart.analyzerVmServicePort": {
@@ -69,13 +69,13 @@
6969
"number"
7070
],
7171
"default": null,
72-
"description": "The port number to be used for the Dart analysis server VM service.",
72+
"description": "The port number to be used for the Dart Analysis Server VM service. This setting is intended for use by Dart Analysis Server developers.",
7373
"scope": 3
7474
},
7575
"dart.notifyAnalyzerErrors": {
7676
"type": "boolean",
7777
"default": true,
78-
"description": "Whether to show a notification the first few times an analysis server exception occurs.",
78+
"description": "Whether to show a notification the first few times an Analysis Server exception occurs.",
7979
"scope": 3
8080
},
8181
"dart.onlyAnalyzeProjectsWithOpenFiles": {
@@ -186,6 +186,15 @@
186186
"default": true,
187187
"markdownDescription": "Whether to show notifications for widget errors that offer Inspect Widget links. This requires that the `#dart.shareDevToolsWithFlutter#` setting is also enabled.",
188188
"scope": 3
189+
},
190+
"dart.customDevToolsUri": {
191+
"type": [
192+
"null",
193+
"string"
194+
],
195+
"default": null,
196+
"description": "A custom URI to use for launching DevTools. This setting is intended for use by Dart DevTools developers.",
197+
"scope": 6
189198
}
190199
}
191200
},
@@ -196,7 +205,7 @@
196205
"dart.analysisServerFolding": {
197206
"type": "boolean",
198207
"default": true,
199-
"description": "Whether to use folding data from the Dart analysis server instead of the built-in VS Code indent-based folding.",
208+
"description": "Whether to use folding data from the Dart Analysis Server instead of the built-in VS Code indent-based folding.",
200209
"scope": 3
201210
},
202211
"dart.autoImportCompletions": {
@@ -588,7 +597,7 @@
588597
"string"
589598
],
590599
"default": null,
591-
"description": "The path to a log file for very detailed logging in the Dart analysis server that may be useful when trying to diagnose analysis server issues.",
600+
"description": "The path to a log file for very detailed logging in the Dart Analysis Server that may be useful when trying to diagnose Analysis Server issues.",
592601
"scope": 6
593602
},
594603
"dart.analyzerLogFile": {
@@ -597,7 +606,7 @@
597606
"string"
598607
],
599608
"default": null,
600-
"description": "The path to a log file for communication between Dart Code and the analysis server.",
609+
"description": "The path to a log file for communication between Dart Code and the Analysis Server.",
601610
"scope": 6
602611
},
603612
"dart.dapLogFile": {
@@ -780,6 +789,12 @@
780789
"description": "The protocol to use for the Dart Debug Extension backend service and injected client. Using WebSockets can improve performance but may fail when connecting through some proxy servers.",
781790
"scope": 3
782791
},
792+
"dart.debugSdkLibraries": {
793+
"type": "boolean",
794+
"default": false,
795+
"markdownDescription": "Whether to mark Dart SDK libraries (`dart:*`) as debuggable, enabling stepping into them while debugging.",
796+
"scope": 3
797+
},
783798
"dart.debugExternalPackageLibraries": {
784799
"type": "boolean",
785800
"default": false,
@@ -870,6 +885,24 @@
870885
"items": {
871886
"type": "string"
872887
}
888+
},
889+
"dart.customDartDapPath": {
890+
"type": [
891+
"null",
892+
"string"
893+
],
894+
"default": null,
895+
"description": "The path to a custom Dart Debug Adapter. This setting is intended for use by Dart Debug Adapter developers.",
896+
"scope": 6
897+
},
898+
"dart.customFlutterDapPath": {
899+
"type": [
900+
"null",
901+
"string"
902+
],
903+
"default": null,
904+
"description": "The path to a custom Flutter Debug Adapter. This setting is intended for use by Dart Debug Adapter developers.",
905+
"scope": 6
873906
}
874907
}
875908
},
@@ -901,12 +934,6 @@
901934
},
902935
"scope": 6
903936
},
904-
"dart.debugSdkLibraries": {
905-
"type": "boolean",
906-
"default": false,
907-
"markdownDescription": "Whether to mark Dart SDK libraries (`dart:*`) as debuggable, enabling stepping into them while debugging.",
908-
"scope": 3
909-
},
910937
"dart.flutterSdkPath": {
911938
"type": [
912939
"null",
@@ -996,9 +1023,15 @@
9961023
"dart.previewBazelWorkspaceCustomScripts": {
9971024
"type": "boolean",
9981025
"default": false,
999-
"markdownDescription": "EXPERIMENTAL: Whether to look for custom script definitions at `dart/config/intellij-plugins/flutter.json` in Bazel workspaces. Currently supported for macOS and Linux only.",
1026+
"markdownDescription": "EXPERIMENTAL: Whether to look for custom script definitions at `dart/config/ide/flutter.json` in Bazel workspaces. Currently supported for macOS and Linux only.",
10001027
"scope": 3
10011028
},
1029+
"dart.daemonPort": {
1030+
"type": "number",
1031+
"default": false,
1032+
"markdownDescription": "EXPERIMENTAL: The port where flutter daemon can be accessed if daemon is run remotely. This setting is intended for use by Google developers.",
1033+
"scope": 4
1034+
},
10021035
"dart.previewCommitCharacters": {
10031036
"type": "boolean",
10041037
"default": false,

0 commit comments

Comments
 (0)