branch: elpa/idris-mode
commit 3259d8c70fd8206745eceb1b9d7ffcbb4a7f92f2
Author: Marek L <[email protected]>
Commit: Marek L <[email protected]>
Increase default syntax higlight buffer size limit
Why:
With the latest architectural changes and improved Idris2 performance,
there is less need to artificially disable highlighting.
---
idris-settings.el | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/idris-settings.el b/idris-settings.el
index 29e9937d47..0ea5c1b967 100644
--- a/idris-settings.el
+++ b/idris-settings.el
@@ -69,7 +69,7 @@ Advanced users may wish to disable this."
:group 'idris
:type 'boolean)
-(defcustom idris-semantic-source-highlighting-max-buffer-size 32768 ;; (expt 2
15)
+(defcustom idris-semantic-source-highlighting-max-buffer-size 65536 ;; (expt 2
16)
"Disable semantic source highlighting if the buffer exceeds the allotted
size.
This is to reduce lag when loading large Idris files."
:group 'idris
