Merge pull request #3344 from dotty-staging/vscode-fixes

Small improvements to the vscode extension

Author: smarter

project/Build.scala

@@ -877,7 +877,7 @@ object Build {
     settings(
       EclipseKeys.skipProject := true,
 
-      version := "0.1.0", // Keep in sync with package.json
+      version := "0.1.2", // Keep in sync with package.json
 
       autoScalaLibrary := false,
       publishArtifact := false,