diff --git a/lib/idris-ide-mode.coffee b/lib/idris-ide-mode.coffee index 0d547fa..778c5c3 100644 --- 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