Pass tabLength from Atom Settings to ide-mode to steer indendation

idris-hackers · Sep 4, 2018 · 7f015f8 · 7f015f8
1 parent e3422ab
commit 7f015f8
Showing 1 changed file with 5 additions and 1 deletion.
diff --git a/lib/idris-ide-mode.coffee b/lib/idris-ide-mode.coffee
@@ -26,8 +26,12 @@ class IdrisIdeMode extends EventEmitter
         else
           []
 
+      tabLength = atom.config.get('editor.tabLength', scope: ['source.idris'])
+      configParams = ['--ide-mode', '--indent-with=' + tabLength,
+                      '--indent-clause=' + tabLength]
+
       parameters =
-        ['--ide-mode'].concat pkgs, options
+        configParams.concat pkgs, options
 
       options =
         if compilerOptions.src