[nongnu] elpa/idris-mode 5d0c82679a 05/14: Remove unused `idris-hole-list-buffer-visible-p`

[ELPA Syncer]

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

    Remove unused `idris-hole-list-buffer-visible-p`
---
 idris-hole-list.el | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/idris-hole-list.el b/idris-hole-list.el
index 0a77ce3ab5..47cd36f86d 100644
--- a/idris-hole-list.el
+++ b/idris-hole-list.el
@@ -73,9 +73,6 @@ Invoces `idris-hole-list-mode-hook'."
   "Return the Idris hole buffer, creating one if there is not one"
   (get-buffer-create idris-hole-list-buffer-name))
 
-(defun idris-hole-list-buffer-visible-p ()
-  (if (get-buffer-window idris-hole-list-buffer-name 'visible) t nil))
-
 (defun idris-hole-list-show (hole-info)
   (if (null hole-info)
       (progn (message "No holes found!")