[nongnu] elpa/idris-mode c18ae30 4/8: [ cleanup ] from idris2-mode use `cadr` where appropriate.

[ELPA Syncer]

branch: elpa/idris-mode
commit c18ae30a039868e2fa9995f14ad8a4dce50a6b40
Author: Jan de Muijnck-Hughes <jan.deMuijnck-Hughes@glasgow.ac.uk>
Commit: Jan de Muijnck-Hughes <jan.deMuijnck-Hughes@glasgow.ac.uk>

    [ cleanup ] from idris2-mode use `cadr` where appropriate.
---
 idris-common-utils.el | 11 ++++-------
 1 file changed, 4 insertions(+), 7 deletions(-)

diff --git a/idris-common-utils.el b/idris-common-utils.el
index 444d21a..d08b451 100644
--- a/idris-common-utils.el
+++ b/idris-common-utils.el
@@ -161,13 +161,10 @@ inserted text (that is, relative to point prior to 
insertion)."
          (err-face (if idris-err
                        '(idris-warning-face)
                      ()))
-         (text-face (pcase text-format
-                      (`(:text-formatting :bold)
-                       '(bold))
-                      (`(:text-formatting :italic)
-                       '(italic))
-                      (`(:text-formatting :underline)
-                       '(underline))
+         (text-face (pcase (cadr text-format)
+                      (:bold      '(bold))
+                      (:italic    '(italic))
+                      (:underline '(underline))
                       (_ nil)))
          (link-face (if link-href '(idris-link-face) ()))
          (unique-val (cl-gensym)) ; HACK to stop consecutive mouse-faces from 
interfering