Merge remote branch 'origin/master' into edge

(no-precommit-check no-tn-check)

Author: mergerepo

integration/vscode/ada/media/custom-colors.jpg

@@ -0,0 +1,14 @@
+# 🔨 Build a project
+
+Use "auto-detected tasks" to
+ * ⚙ Build whole project
+ * ✅ Check errors in the current file
+ * 🔎 Lauch `gnatprove` to verify the code
+
+## 🚀 Launch
+
+Use embedded terminal to launch your executable.
+
+## 🐞 Debug
+
+Install Native Debug and configure `launch.json` to run the debugger.

integration/vscode/ada/media/github.jpg

@@ -0,0 +1,13 @@
+# Configure the extension
+
+☝ Make sure to configure active project file `*.gpr`.
+Otherwise the extension will use a project file in the root project filder.
+
+⚙ You can change settings per project or per user.
+
+📋 [List of Ada settings](https://github.com/AdaCore/ada_language_server/blob/master/doc/settings.md)
+
+## ⌨ Find or change key shortcuts
+
+* `alt+O` to go from `.ads` to `.adb` and back
+* `alt+shift+B` to paste a "subprogram box"

integration/vscode/ada/media/launch-debug.md

@@ -0,0 +1,13 @@
+# ☀ Welcome to Ada!
+
+Take a few minutes to find about Ada extension features.
+
+Use this extension to enable Ada/SPARK support in VS Code editor.
+
+📖 Take a look at our [WiKi site](https://github.com/AdaCore/ada_language_server/wiki) with tutorials and demos:
+* [Tutorial: Using Ada in VS Code](https://github.com/AdaCore/ada_language_server/wiki/Getting-Started)
+* [Auto detection Tasks video](https://github.com/AdaCore/ada_language_server/wiki/auto_detected_tasks.mp4)
+* [Custom colors in VS Code](https://github.com/AdaCore/ada_language_server/wiki/Custom-colors-in-VS-Code)
+* [Working in a Docker container](https://github.com/AdaCore/ada_language_server/tree/master/integration/vscode/Code%20Samples/docker)
+* [Working on a remote machine](https://github.com/AdaCore/ada_language_server/wiki/Working-on-a-remote-machine)
+

integration/vscode/ada/media/settings.md

@@ -12,7 +12,9 @@
         "Programming Languages",
         "Extension Packs"
     ],
-    "extensionPack": ["webfreak.debug"],
+    "extensionPack": [
+        "webfreak.debug"
+    ],
     "activationEvents": [
         "onLanguage:ada",
         "onLanguage:gpr",
@@ -449,7 +451,52 @@
                     "when": "editorLangId == ada"
                 }
             ]
-        }
+        },
+        "walkthroughs": [
+            {
+                "id": "als-get-stated",
+                "title": "Ada in VS Code",
+                "description": "Introduction to Ada in VS Code support",
+                "steps": [
+                    {
+                        "id": "als-get-stated-welcome",
+                        "title": "Welcome to Ada extension!",
+                        "description": "This short walkthrough introduces Ada extension.",
+                        "media": {
+                            "markdown": "media/welcome.md"
+                        }
+                    },
+                    {
+                        "id": "als-get-stated-setting",
+                        "title": "Set a project file",
+                        "description": "Set active project file in the `ada.projectFile` setting.\n [Open Settings](command:workbench.action.openSettings)",
+                        "media": {
+                            "markdown": "media/settings.md"
+                        }
+                    },
+                    {
+                        "id": "als-get-stated-debug",
+                        "title": "Launch and debug",
+                        "description": "Install **Native Debug** extension to run debugger.\n [Install extension](command:workbench.extensions.search)",
+                        "media": {
+                            "markdown": "media/launch-debug.md"
+                        },
+                        "completionEvents": [
+                            "extensionInstalled:webfreak.debug"
+                        ]
+                    },
+                    {
+                        "id": "als-get-stated-github",
+                        "title": "Report issues or contribute",
+                        "description": "This extension is an open source software. Feel free to [open an issue](https://github.com/AdaCore/ada_language_server/issues) or [contribute on GitHub](https://github.com/AdaCore/ada_language_server/pulls)!",
+                        "media": {
+                            "image": "media/github.jpg",
+                            "altText": "Github snapshot"
+                        }
+                    }
+                ]
+            }
+        ]
     },
     "devDependencies": {
         "@types/glob": "7.2.0",
@@ -484,4 +531,4 @@
         "vscode-languageclient": "7.0.0",
         "ws": "8.5.0"
     }
-}
+}