diff options
author | Ryan Roden-Corrent <ryan@rcorre.net> | 2020-07-06 06:24:50 -0400 |
---|---|---|
committer | Ryan Roden-Corrent <ryan@rcorre.net> | 2020-07-06 07:22:34 -0400 |
commit | de3ad3b30ecb8de1aa112df7d61630102f077b5b (patch) | |
tree | b7c81ef65b1703fe2d974573b7f42f8afcaccfb3 /drivers/coremidi | |
parent | a8e330ea1974f0bc692f7efac0165142d4b01de8 (diff) |
Include gdscript warning name in the warning message.
Occasionally you want to ignore a warning with a `warning-ignore`
comment, and you have to go into the settings to look up what the
actual name of the warning is. This patch appends the warning name to
the end of the warning so you know what string to use to ignore it,
similar to other linters like pylint.
For example
```
"The signal 'blah' is declared but never emitted.";
```
is now
```
"The signal 'blah' is declared but never emitted. (UNUSED_SIGNAL)";
```
Diffstat (limited to 'drivers/coremidi')
0 files changed, 0 insertions, 0 deletions