disable cursorScrollMargin.

2025-07-31 02:30:13 +02:00 · 2016-05-03 02:40:04 +05:30
parent 88eba64de1
commit 7e4b21c1e6
1 changed files with 1 additions and 1 deletions
--- a/script.js
+++ b/script.js
@@ -108,7 +108,7 @@
 			tabMode: 'indent',
 			keyMap: 'sublime',
 			theme: 'monokai',
-			cursorScrollMargin: '20',
+			// cursorScrollMargin: '20', has issue with scrolling
 			profile: options.profile || ''
 		});
 		cm.on('change', function onChange() {