From 161fbf27674d713e0b462d07c4389fa442240703 Mon Sep 17 00:00:00 2001 From: mrkun Date: Sun, 23 Jan 2022 23:41:51 +0300 Subject: [PATCH] Specialize ghcide indent style to .hs --- ghcide/.editorconfig | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/ghcide/.editorconfig b/ghcide/.editorconfig index f75cf4d67c..400e76ac0b 100644 --- a/ghcide/.editorconfig +++ b/ghcide/.editorconfig @@ -5,7 +5,9 @@ root = true [*] end_of_line = LF -indent_style = space -indent_size = 4 trim_trailing_whitespace = true insert_final_newline = true + +[*.{hs,lhs}] +indent_style = space +indent_size = 4