[nongnu] elpa/idris-mode 38f2839b58 08/14: Use `let ((buffer-read-only nil)` instead of `setq ..`

[ELPA Syncer]

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

    Use `let ((buffer-read-only nil)` instead of `setq ..`
    
    for hole list buffer
---
 idris-hole-list.el | 34 ++++++++++++++++------------------
 idris-tests.el     |  1 -
 2 files changed, 16 insertions(+), 19 deletions(-)

diff --git a/idris-hole-list.el b/idris-hole-list.el
index 9b0035b4d3..b361eec0d8 100644
--- a/idris-hole-list.el
+++ b/idris-hole-list.el
@@ -85,24 +85,22 @@ Invokes `idris-hole-list-mode-hook'."
              (idris-hole-list-quit))
     (with-current-buffer (idris-hole-list-buffer)
       (idris-hole-list-mode)
-      (setq buffer-read-only nil)
-      (erase-buffer)
-      (insert (propertize "Holes" 'face 'idris-info-title-face) "\n\n")
-      (when idris-show-help-text
-        (insert "This buffer displays the unsolved holes from the 
currently-loaded code. ")
-        (insert (concat "Press the "
-                        (if idris-enable-elab-prover "[E]" "[P]")
-                        " buttons to solve the holes interactively in the 
prover."))
-        (let ((fill-column 80))
-          (fill-region (point-min) (point-max)))
-        (insert "\n\n"))
-
-      (dolist (tree (mapcar #'idris-tree-for-hole hole-info))
-        (idris-tree-insert tree "")
-        (insert "\n\n"))
-      (message "Press q to close")
-      (setq buffer-read-only t)
-      (goto-char (point-min)))
+      (let ((buffer-read-only nil))
+        (erase-buffer)
+        (insert (propertize "Holes" 'face 'idris-info-title-face) "\n\n")
+        (when idris-show-help-text
+          (insert "This buffer displays the unsolved holes from the 
currently-loaded code. ")
+          (insert (concat "Press the "
+                          (if idris-enable-elab-prover "[E]" "[P]")
+                          " buttons to solve the holes interactively in the 
prover."))
+          (let ((fill-column 80))
+            (fill-region (point-min) (point-max)))
+          (insert "\n\n"))
+        (dolist (tree (mapcar #'idris-tree-for-hole hole-info))
+          (idris-tree-insert tree "")
+          (insert "\n\n"))
+        (message "Press q to close")
+        (goto-char (point-min))))
     (display-buffer (idris-hole-list-buffer))))
 
 (defun idris-hole-tree-printer (tree)
diff --git a/idris-tests.el b/idris-tests.el
index 367d4c2618..bd4113896a 100644
--- a/idris-tests.el
+++ b/idris-tests.el
@@ -73,7 +73,6 @@ remain."
 
 (ert-deftest idris-test-hole-load ()
   "Test the hole-list-on-load setting."
-  (idris-quit)
   ;;; The default setting should be to show holes
   (should idris-hole-show-on-load)