diff options
author | GitLab Bot <gitlab-bot@gitlab.com> | 2020-05-14 21:07:52 +0000 |
---|---|---|
committer | GitLab Bot <gitlab-bot@gitlab.com> | 2020-05-14 21:07:52 +0000 |
commit | 67cd2904c9ebd7ba346cc92a37ac953747a3f0e5 (patch) | |
tree | ed10a6a07c43aa4167a40c39409f8e1fef1a4cce /doc/user/profile/preferences.md | |
parent | 30b17460a2569734cf04dae1b2841d3654b2c0ec (diff) | |
download | gitlab-ce-67cd2904c9ebd7ba346cc92a37ac953747a3f0e5.tar.gz |
Add latest changes from gitlab-org/gitlab@master
Diffstat (limited to 'doc/user/profile/preferences.md')
-rw-r--r-- | doc/user/profile/preferences.md | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/doc/user/profile/preferences.md b/doc/user/profile/preferences.md index cd195e6e7a1..55781b48a27 100644 --- a/doc/user/profile/preferences.md +++ b/doc/user/profile/preferences.md @@ -55,6 +55,11 @@ The default syntax theme is White, and you can choose among 5 different themes: ![Profile preferences syntax highlighting themes](img/profile-preferences-syntax-themes.png) +[Introduced](https://gitlab.com/groups/gitlab-org/-/epics/2389) in 13.0, the theme +you choose also applies to the [Web IDE](../project/web_ide/index.md)'s code editor and [Snippets](../snippets.md). +The themes are available only in the Web IDE file editor, except for the [dark theme](https://gitlab.com/gitlab-org/gitlab/-/issues/209808), +which applies to the entire Web IDE screen. + ## Behavior The following settings allow you to customize the behavior of GitLab's layout |