diff options
| author |  Kristóf Marussy <kristof@marussy.com> | 2022-09-19 21:34:24 +0200 |
|---|---|---|
| committer | Kristóf Marussy <kristof@marussy.com> | 2022-09-21 01:12:56 +0200 |
| commit | 472439d3c5abc271f22a8460680b9aecfb4eb323 (patch) | |
| tree | 3fdb0277df8e583adde7d70268099b00dc1a80e9 | |
| parent | feat(language): problem desugaring (diff) | |
| download | refinery-472439d3c5abc271f22a8460680b9aecfb4eb323.tar.gz refinery-472439d3c5abc271f22a8460680b9aecfb4eb323.tar.zst refinery-472439d3c5abc271f22a8460680b9aecfb4eb323.zip | |
build: IntelliJ support
| -rw-r--r-- | .editorconfig | 6 | ||||
| -rw-r--r-- | .gitignore | 1 |
2 files changed, 7 insertions, 0 deletions
diff --git a/.editorconfig b/.editorconfig index 60e56bf7..81e5fda1 100644 --- a/.editorconfig +++ b/.editorconfig | |||
| @@ -5,10 +5,16 @@ charset = utf-8 | |||
| 5 | end_of_line = lf | 5 | end_of_line = lf |
| 6 | trim_trailing_whitespace = true | 6 | trim_trailing_whitespace = true |
| 7 | insert_final_newline = true | 7 | insert_final_newline = true |
| 8 | max_line_length = 80 | ||
| 9 | ij_wrap_on_typing = true | ||
| 8 | 10 | ||
| 9 | [*.{gradle,java,mwe2,xtend,xtext}] | 11 | [*.{gradle,java,mwe2,xtend,xtext}] |
| 10 | indent_style = tab | 12 | indent_style = tab |
| 11 | indent_size = 4 | 13 | indent_size = 4 |
| 14 | # Mimic Eclipse continuation indent style in IntelliJ | ||
| 15 | max_line_length = 120 | ||
| 16 | ij_continuation_indent_size = 8 | ||
| 17 | ij_any_indent_case_from_switch = false | ||
| 12 | 18 | ||
| 13 | [*.{grammar,html,js,json,jsx,scss,ts,tsx,yml}] | 19 | [*.{grammar,html,js,json,jsx,scss,ts,tsx,yml}] |
| 14 | indent_style = space | 20 | indent_style = space |
| @@ -1,5 +1,6 @@ | |||
| 1 | *._trace | 1 | *._trace |
| 2 | .classpath | 2 | .classpath |
| 3 | .idea/ | ||
| 3 | .gradle/ | 4 | .gradle/ |
| 4 | .launch | 5 | .launch |
| 5 | .log/ | 6 | .log/ |