summaryrefslogtreecommitdiff
path: root/thirdparty/bullet/BulletCollision
diff options
context:
space:
mode:
authorRyan Roden-Corrent <ryan@rcorre.net>2020-07-06 06:24:50 -0400
committerRyan Roden-Corrent <ryan@rcorre.net>2020-07-06 07:22:34 -0400
commitde3ad3b30ecb8de1aa112df7d61630102f077b5b (patch)
treeb7c81ef65b1703fe2d974573b7f42f8afcaccfb3 /thirdparty/bullet/BulletCollision
parenta8e330ea1974f0bc692f7efac0165142d4b01de8 (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 'thirdparty/bullet/BulletCollision')
0 files changed, 0 insertions, 0 deletions