download all files when no project

if you set a global launch configuration in user settings (or workspace settings), then event.session.workspaceFolder will be undefined. In that case, just download all files in the workspace.

Fixes #76

Author: dlech

CHANGELOG.md

@@ -3,6 +3,10 @@ All notable changes to the "ev3dev-browser" extension will be documented in this
 
 Check [Keep a Changelog](http://keepachangelog.com/) for recommendations on how to structure this file.
 
+## Unreleased
+### Fixed
+- Files are not downloaded when using global launch configuration
+
 ## 1.0.1 - 2019-02-02
 ### Fixed
 - Duplicate listed devices in quick-pick on Windows

src/extension.ts

@@ -105,9 +105,11 @@ async function handleCustomDebugEvent(event: vscode.DebugSessionCustomEvent): Pr
             break;
         }
 
-        // optionally download before running
+        // optionally download before running - workspaceFolder can be undefined
+        // if the request did not come from a specific project, in which case we
+        // download all projects
         const folder = event.session.workspaceFolder;
-        if (args.download !== false && folder && !await download(folder, device)) {
+        if (args.download !== false && !(folder ? await download(folder, device) : await downloadAll())) {
             // download() shows error messages, so don't show additional message here.
             await event.session.customRequest('ev3devBrowser.debugger.terminate');
             break;