We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
--
1 parent 09de86a commit 44d9048Copy full SHA for 44d9048
idris-ipkg-mode.el
@@ -422,7 +422,8 @@ Invokes `idris-ipkg-mode-hook'."
422
(set (make-local-variable 'font-lock-defaults)
423
idris-ipkg-font-lock-defaults)
424
(set (make-local-variable 'completion-at-point-functions)
425
- '(idris-ipkg-complete-keyword)))
+ '(idris-ipkg-complete-keyword))
426
+ (set (make-local-variable 'comment-start) "--"))
427
428
;; Make filenames clickable
429
(add-to-list 'compilation-error-regexp-alist-alist
0 commit comments