Merge pull request #470 from gkbrk/patch-1

Add menu item for stopping Omnisharp server
OmniSharp · Feb 28, 2019 · be97227 · be97227
2 parents 1658ddc + bc37951
commit be97227
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/omnisharp.el b/omnisharp.el
@@ -220,6 +220,7 @@ finished loading the solution."
 
     ("OmniSharp server"
      ["Start OmniSharp server" omnisharp-start-omnisharp-server]
+     ["Stop OmniSharp server" omnisharp-stop-server]
      ["Check alive status" omnisharp-check-alive-status]
      ["Check ready status" omnisharp-check-ready-status])