branch: elpa/idris-mode
commit a47811be8b1c6fab8a6cb46041395d04d2ea20f5
Author: Marek L <[email protected]>
Commit: Marek L <[email protected]>
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
