branch: elpa/idris-mode
commit a75b3bfc69cc696cf611bea8881c53f8e16ae37c
Author: Marek L <[email protected]>
Commit: Marek L <[email protected]>
Remove debug syntax-highlights option
This should never be never exposed to users.
`idris-mode` developers can add debug capabalities
when needed manually.
---
idris-highlight-input.el | 21 ++-------------------
idris-settings.el | 6 ++----
2 files changed, 4 insertions(+), 23 deletions(-)
diff --git a/idris-highlight-input.el b/idris-highlight-input.el
index bde3eac0b9..78ebd2398e 100644
--- a/idris-highlight-input.el
+++ b/idris-highlight-input.el
@@ -107,28 +107,11 @@ See Info node `(elisp)Overlay Properties' to understand
how ARGS are used."
end-line end-col
props)))))
-(defun idris-highlight-input-region-debug (start-line start-col end-line
end-col highlight)
- (when (not (or (> end-line start-line)
- (and (= end-line start-line)
- (> end-col start-col))))
- (message "Not highlighting absurd span %s:%s-%s:%s with %s"
- start-line start-col
- end-line end-col
- highlight)))
-
(defun idris-toggle-semantic-source-highlighting ()
"Turn on/off semantic highlighting.
-This is controled by value of `idris-semantic-source-highlighting' variable.
-When the value is `debug' additional checks are performed on received data."
+This is controled by value of `idris-semantic-source-highlighting' variable."
(if idris-semantic-source-highlighting
- (progn
- (if (eq idris-semantic-source-highlighting 'debug)
- (advice-add 'idris-highlight-input-region
- :before-until
- #'idris-highlight-input-region-debug)
- (advice-remove 'idris-highlight-input-region
- #'idris-highlight-input-region-debug))
- (advice-remove 'idris-highlight-source-file #'ignore))
+ (advice-remove 'idris-highlight-source-file #'ignore)
(advice-add 'idris-highlight-source-file :around #'ignore)))
(defun idris-buffer-semantic-source-highlighting ()
diff --git a/idris-settings.el b/idris-settings.el
index 11f7de7657..fd236c7510 100644
--- a/idris-settings.el
+++ b/idris-settings.el
@@ -65,11 +65,9 @@ Advanced users may wish to disable this."
:type 'boolean)
(defcustom idris-semantic-source-highlighting t
- "Use the Idris compiler's semantic source information to highlight Idris
code.
-If `debug', log failed highlighting to buffer `*Messages*'."
+ "Use the Idris compiler's semantic source information to highlight Idris
code."
:group 'idris
- :type '(choice (boolean :tag "Enable")
- (const :tag "Debug" debug)))
+ :type 'boolean)
(defcustom idris-semantic-source-highlighting-max-buffer-size 32768 ;; (expt 2
15)
"Disable semantic source highlighting if the buffer exceeds the allotted
size.
