Commits on Jul 6, 2020

1. 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)";
   ```

   

   rcorre committed Jul 6, 2020
   Configuration menu

   • View commit details
   • Copy full SHA for de3ad3b
   • Browse repository at this point

   Copy the full SHA

   de3ad3b View commit details

   Browse the repository at this point in the history