Skip to content

Commit

Permalink
Merge pull request #814 from kpodsiad/start-metals-button
Browse files Browse the repository at this point in the history
Add `Start Metals` button
  • Loading branch information
tgodzik authored Jan 8, 2022
2 parents 16165a2 + 43b52b3 commit cd833e7
Showing 1 changed file with 3 additions and 2 deletions.
5 changes: 3 additions & 2 deletions package.json
Original file line number Diff line number Diff line change
Expand Up @@ -43,6 +43,7 @@
"Debuggers"
],
"activationEvents": [
"onCommand:metals.start-server",
"onCommand:metals.new-scala-project",
"onDebugResolve:scala",
"onLanguage:scala",
Expand Down Expand Up @@ -125,8 +126,8 @@
"viewsWelcome": [
{
"view": "metalsPackages",
"contents": "No Scala project found.\n[New Scala project](command:metals.new-scala-project)",
"when": "workbenchState != empty"
"contents": "No Scala project found. Create a new one or start Metals manually.\n[New Scala project](command:metals.new-scala-project)\n[Start Metals](command:metals.start-server)",
"when": "!metals:enabled || workbenchState != empty"
}
],
"views": {
Expand Down

0 comments on commit cd833e7

Please sign in to comment.