[nongnu] elpa/idris-mode 43b6036c99 2/4: Use `idris-case-dwim` in Idris menu instead of `idris-case-split` and `idris-make-cases-from-hole`

[ELPA Syncer]

branch: elpa/idris-mode
commit 43b6036c991964aca56ed38738aa9b7c7e31063c
Author: Marek L <nospam.keram@gmail.com>
Commit: Marek L <nospam.keram@gmail.com>

    Use `idris-case-dwim` in Idris menu instead of `idris-case-split` and 
`idris-make-cases-from-hole`
    
    Why:
    To display key binding which invokes desired previous command
    based on the point context in buffer.
    
    Resolves:
    https://github.com/idris-hackers/idris-mode/issues/447
---
 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]