hasufell/ghc-mod
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Do not use dropdown-list for automatic completion

Browse Source
This commit is contained in:
Alejandro Serrano 2014-08-14 17:49:49 +02:00
parent 7315dff801
commit 7ecb66f32e
1 changed files with 55 additions and 29 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

84
elisp/ghc-rewrite.el
View File

@ -11,7 +11,7 @@
(require 'ghc-func) (require 'ghc-func)
(require 'ghc-process) (require 'ghc-process)
(require 'button) (require 'button)
(require 'dropdown-list) ;(require 'dropdown-list)
(defvar ghc-auto-info nil) (defvar ghc-auto-info nil)
(defvar ghc-auto-buffer nil) (defvar ghc-auto-buffer nil)
@ -114,38 +114,64 @@
(delete-region begin-pos end-pos) (delete-region begin-pos end-pos)
(insert msg))) (insert msg)))
;; (defun auto-button (button) ;; Option 1: using button
;; (let ((text (buffer-substring (button-start button) (button-end button))))
;; (with-current-buffer ghc-auto-buffer
;; (ghc-perform-rewriting-auto ghc-auto-info text))))
;; (define-button-type 'auto-button (defun ghc-auto-completion-window ()
;; 'follow-link t (get-buffer-window ghc-error-buffer-name 0))
;; 'help-echo "mouse-2, RET: Insert this completion"
;; 'action #'auto-button)
;; (defun ghc-show-auto-messages (info) (defun auto-button (button)
;; (let ((buf (current-buffer))) (let ((text (buffer-substring (button-start button) (button-end button))))
;; (setq ghc-auto-info info) (with-current-buffer ghc-auto-buffer
;; (setq ghc-auto-buffer buf) (ghc-perform-rewriting-auto ghc-auto-info text))
;; (ghc-display nil (quit-restore-window)))
;; (lambda ()
;; (insert "Possible completions:\n") (define-button-type 'auto-button
;; (mapc 'follow-link t
;; (lambda (x) 'help-echo "mouse-2, RET: Insert this completion"
;; (let* ((ins1 (insert "- ")) 'action #'auto-button)
;; (pos-begin (point))
;; (ins (insert x))
;; (pos-end (point))
;; (ins3 (insert "\n")))
;; (make-button pos-begin pos-end :type 'auto-button)))
;; (ghc-sinfo-get-info info))))))
(defun ghc-show-auto-messages (info) (defun ghc-show-auto-messages (info)
(let* ((completions (ghc-sinfo-get-info info)) (let ((buf (current-buffer)))
(selected (dropdown-list completions))) (setq ghc-auto-info info)
(when selected (setq ghc-auto-buffer buf)
(ghc-perform-rewriting-auto info (nth selected completions))))) (ghc-display nil
(lambda ()
(insert "Possible completions:\n")
(mapc
(lambda (x)
(let* (; (ins1 (insert "- "))
(pos-begin (point))
(ins (insert x))
(pos-end (point))
(ins3 (insert "\n")))
(make-button pos-begin pos-end :type 'auto-button)))
(ghc-sinfo-get-info info))))
(select-window (ghc-auto-completion-window))))
;; Option 2: using dropdown-list
;; (defun ghc-show-auto-messages (info)
;; (let* ((completions (ghc-sinfo-get-info info))
;; (selected (dropdown-list completions)))
;; (when selected
;; (ghc-perform-rewriting-auto info (nth selected completions)))))
;; Option 3: using minibuffer
;; (defvar ghc-auto-completion-buffer-name "*Djinn Completions*")
;; (defun ghc-auto-completion-window ()
;; (get-buffer-window ghc-auto-completion-buffer-name 0))
;; (defun ghc-show-auto-messages (info)
;; (let* ((completions (ghc-sinfo-get-info info))
;; (buf (generate-new-buffer "djinn-completion-temp")))
;; (with-current-buffer
;; (progn
;; (with-output-to-temp-buffer ghc-auto-completion-buffer-name
;; (display-completion-list completions))
;; (select-window (ghc-auto-completion-window))
;; (buffer-string)))))
(defun ghc-auto () (defun ghc-auto ()
"Try to automatically fill the contents of a hole" "Try to automatically fill the contents of a hole"