From 328391a2945e5aacbb29bd14e40121e7580c5aec Mon Sep 17 00:00:00 2001
From: Alan Zimmerman <alan.zimm@gmail.com>
Date: Thu, 30 Jan 2020 21:37:51 +0000
Subject: [PATCH] Add editorconfig file

The most important setting is to trim trailing whitespace, and use spaces not
tabs on the file system.

The rest can be argued. Indent size is taken from a (tiny) sammple of the
existing ghcide code base.
---
 .editorconfig | 14 ++++++++++++++
 1 file changed, 14 insertions(+)
 create mode 100644 .editorconfig

diff --git a/.editorconfig b/.editorconfig
new file mode 100644
index 000000000..c277dff9a
--- /dev/null
+++ b/.editorconfig
@@ -0,0 +1,14 @@
+; This file is for unifying the coding style for different editors and IDEs.
+; More information at http://EditorConfig.org
+
+root = true
+
+[*]
+end_of_line = LF
+
+[*]
+indent_style = space
+indent_size = 4
+trim_trailing_whitespace = true
+insert_final_newline = true
+max_line_length = 80