[nongnu] elpa/idris-mode a47811be8b 2/5: Check for semantic property `key` having non empty string value

[ELPA Syncer]

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

    Check for semantic property `key` having non empty string value
    
    before assigning the value to `idris-name-key` text property.
    
    Why:
    Previously the value was wrapped with `{{{{{ VAL }}}}}` even if it was 
empty but
    later we check for presence of the value as it is non empty we use the value
    stored in the idris-name-key property.
    ```
    idris-context-menu-items
    ...
    ref (or (plist-get plist `idris-name-key) (plist-get plist `idris-ref)
    ```
    not using the fallback `idris-ref property value.
---
 idris-common-utils.el | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/idris-common-utils.el b/idris-common-utils.el
index 3b18bbfc32..e80c31c638 100644
--- a/idris-common-utils.el
+++ b/idris-common-utils.el
@@ -293,7 +293,7 @@ inserted text (that is, relative to point prior to 
insertion)."
             (if term
                 (list 'idris-tt-term (cadr term))
               ())
-            (if key
+            (if (and key (not (string-empty-p (cadr key))))
                 (list 'idris-name-key (concat "{{{{{" (cadr key) "}}}}}"))
               ())
             (if idris-err