diff options
| author | GitLab Bot <gitlab-bot@gitlab.com> | 2020-06-15 12:08:44 +0000 |
|---|---|---|
| committer | GitLab Bot <gitlab-bot@gitlab.com> | 2020-06-15 12:08:44 +0000 |
| commit | 67441623767b3084d594288408bb078b2eb9f83e (patch) | |
| tree | 0593430be110f1cbf67531081b0b8e5784efa6e4 /doc/user/project/web_ide | |
| parent | b109901317f810e6708d4165e52b334b70297beb (diff) | |
| download | gitlab-ce-67441623767b3084d594288408bb078b2eb9f83e.tar.gz | |
Add latest changes from gitlab-org/gitlab@master
Diffstat (limited to 'doc/user/project/web_ide')
| -rw-r--r-- | doc/user/project/web_ide/index.md | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/doc/user/project/web_ide/index.md b/doc/user/project/web_ide/index.md index 22b36155004..a6d2f413d3e 100644 --- a/doc/user/project/web_ide/index.md +++ b/doc/user/project/web_ide/index.md @@ -57,6 +57,25 @@ which applies to the entire Web IDE screen. |---------------------------------------------------------------|-----------------------------------------| |  |  | +## Configure the Web IDE + +> [Introduced](https://gitlab.com/gitlab-org/gitlab/-/issues/23352) in [GitLab Core](https://about.gitlab.com/pricing/) 13.1. + +The Web IDE supports configuration of certain editor settings by using +[`.editorconfig` files](https://editorconfig.org/). When opening a file, the +Web IDE looks for a file named `.editorconfig` in the current directory +and all parent directories. If a configuration file is found and has settings +that match the file's path, these settings will be enforced on the opened file. + +The Web IDE currently supports the following `.editorconfig` settings: + +- `indent_style` +- `indent_size` +- `end_of_line` +- `trim_trailing_whitespace` +- `tab_width` +- `insert_final_newline` + ## Commit changes > - [Introduced](https://gitlab.com/gitlab-org/gitlab/-/issues/4539) in [GitLab Ultimate](https://about.gitlab.com/pricing/) 10.4. |