We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 9b76c58 commit 915cd2cCopy full SHA for 915cd2c
purescript-mode.el
@@ -398,15 +398,6 @@ is asked to show extra info for the items matching QUERY.."
398
current-prefix-arg)))
399
(browse-url (format "https://pursuit.purescript.org/search?q=%s" query)))
400
401
-(defcustom purescript-completing-read-function 'completing-read
402
- "Default function to use for completion."
403
- :group 'purescript
404
- :type '(choice
405
- (function-item :tag "completing-read" :value completing-read)
406
- (function-item :tag "ido" :value ido-completing-read)
407
- (function-item :tag "helm" :value helm--completing-read-default)
408
- (function :tag "Custom function")))
409
-
410
(defcustom purescript-indent-spaces 2
411
"Number of spaces to indent inwards."
412
:type 'integer
0 commit comments