[nongnu] elpa/idris-mode e39bb892f8 4/4: Merge pull request #611 from keram/issue-447-case-split-menu-key-bind

[ELPA Syncer]

branch: elpa/idris-mode
commit e39bb892f8d0ccb9b2e8cbec50817f52eff13043
Merge: b80809394a 43b6036c99
Author: Jan de Muijnck-Hughes <jfdm@users.noreply.github.com>
Commit: GitHub <noreply@github.com>

    Merge pull request #611 from keram/issue-447-case-split-menu-key-bind
    
    Use `idris-case-dwim` in Idris menu instead of `idris-case-split` and 
`idris-make-cases-from-hole`
---
 idris-mode.el | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/idris-mode.el b/idris-mode.el
index 4d408897b3..4ac0a22123 100644
--- a/idris-mode.el
+++ b/idris-mode.el
@@ -79,10 +79,10 @@
     "-----------------"
     ["Add initial match clause to type declaration" idris-add-clause t]
     ["Add missing cases" idris-add-missing t]
-    ["Case split pattern variable" idris-case-split t]
+    ["Case split pattern variable" idris-case-dwim t]
     ["Add with block" idris-make-with-block t]
     ["Extract lemma from hole" idris-make-lemma t]
-    ["Solve hole with case expression" idris-make-cases-from-hole t]
+    ["Solve hole with case expression" idris-case-dwim t]
     ["Attempt to solve hole" idris-proof-search t]
     ["Get next solve attempt (Idris 2)" idris-proof-search-next t]