feat(dap): Change DAP REPL binding from open to toggle (#663)

This commit is contained in:
Albert Gu authored and GitHub committed 2023-04-22 23:06:55 +02:00
1 parent 6c86952a0e
commit 3a718c5c85
1 file changed
+1 -1
+1 -1
View File
@@ -82,7 +82,7 @@ return {
{ "<leader>do", function() require("dap").step_out() end, desc = "Step Out" }, { "<leader>do", function() require("dap").step_out() end, desc = "Step Out" },
{ "<leader>dO", function() require("dap").step_over() end, desc = "Step Over" }, { "<leader>dO", function() require("dap").step_over() end, desc = "Step Over" },
{ "<leader>dp", function() require("dap").pause() end, desc = "Pause" }, { "<leader>dp", function() require("dap").pause() end, desc = "Pause" },
{ "<leader>dr", function() require("dap").repl.open() end, desc = "Repl" }, { "<leader>dr", function() require("dap").repl.toggle() end, desc = "Toggle REPL" },
{ "<leader>ds", function() require("dap").session() end, desc = "Session" }, { "<leader>ds", function() require("dap").session() end, desc = "Session" },
{ "<leader>dt", function() require("dap").terminate() end, desc = "Terminate" }, { "<leader>dt", function() require("dap").terminate() end, desc = "Terminate" },
{ "<leader>dw", function() require("dap.ui.widgets").hover() end, desc = "Widgets" }, { "<leader>dw", function() require("dap.ui.widgets").hover() end, desc = "Widgets" },