Add themes introduced in v3.1

Author: bonanitech

lib/commands/init/index.js

@@ -249,7 +249,7 @@ async function promptEditorSettings() {
             name: 'theme',
             message: 'Select a theme for the editor. To use any theme other than "default", you will need to install @node-red-contrib-themes/theme-collection in your Node-RED user directory.',
             initial: 'default',
-            choices: [ "default", "aurora", "cobalt2", "dark", "dracula", "espresso-libre", "midnight-red", "monoindustrial", "monokai", "oceanic-next", "oled", "solarized-dark", "solarized-light", "tokyo-night", "zenburn"],
+            choices: [ "default", "aurora", "cobalt2", "dark", "dracula", "espresso-libre", "github-dark", "github-dark-default", "github-dark-dimmed", "midnight-red", "monoindustrial", "monokai", "monokai-dimmed", "noctis", "oceanic-next", "oled", "one-dark-pro", "one-dark-pro-darker", "solarized-dark", "solarized-light", "tokyo-night", "tokyo-night-light", "tokyo-night-storm", "totallyinformation", "zenburn"],
         },
         {
             type: 'select',