From fe22d20eb7bf8cfa6e725952f9965695cccee29e Mon Sep 17 00:00:00 2001
From: Salar Rahmanian <code@softinio.com>
Date: Sat, 11 Feb 2023 11:32:30 -0800
Subject: [PATCH] add metals telescope support and linting

---
 lua/plugins/mind.lua        | 7 +++++++
 lua/plugins/nvim-metals.lua | 5 +++++
 2 files changed, 12 insertions(+)

diff --git a/lua/plugins/mind.lua b/lua/plugins/mind.lua
index e69de29..a4ee7b7 100644
--- a/lua/plugins/mind.lua
+++ b/lua/plugins/mind.lua
@@ -0,0 +1,7 @@
+return {
+  "phaazon/mind.nvim",
+  branch = "v2.2",
+  config = function()
+    require("mind").setup()
+  end,
+}
diff --git a/lua/plugins/nvim-metals.lua b/lua/plugins/nvim-metals.lua
index 75e4ebe..635196b 100644
--- a/lua/plugins/nvim-metals.lua
+++ b/lua/plugins/nvim-metals.lua
@@ -2,6 +2,11 @@ return {
   "scalameta/nvim-metals",
   keys = {
     { "<leader>ws", "<cmd>lua require'metals'.hover_worksheet()<cr>", desc = "Metals Worksheet" },
+    {
+      "<leader>sm",
+      "<cmd>lua require'telescope'.extensions.metals.commands()<cr>",
+      desc = "Telescope Metals Commands",
+    },
   },
   config = function()
     local metals_config = require("metals").bare_config()