diff options
author | GitLab Bot <gitlab-bot@gitlab.com> | 2020-06-23 19:44:23 +0000 |
---|---|---|
committer | GitLab Bot <gitlab-bot@gitlab.com> | 2020-06-23 19:44:23 +0000 |
commit | 6b96d119aec0ba674cca2c380cf60f1500306612 (patch) | |
tree | f7742d802f557d04e2144b06a2b47719fbd58b82 /doc/user/profile | |
parent | 8b7c4494871c7d69ac7bc59839bdce6ff2937f95 (diff) | |
download | gitlab-ce-6b96d119aec0ba674cca2c380cf60f1500306612.tar.gz |
Add latest changes from gitlab-org/gitlab@13-1-stable-ee
Diffstat (limited to 'doc/user/profile')
-rw-r--r-- | doc/user/profile/preferences.md | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/doc/user/profile/preferences.md b/doc/user/profile/preferences.md index ccaea61ae4b..a5fa3cf373f 100644 --- a/doc/user/profile/preferences.md +++ b/doc/user/profile/preferences.md @@ -80,8 +80,9 @@ The default syntax theme is White, and you can choose among 5 different themes: [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. +The themes are available only in the Web IDE file editor, except for the [dark theme](https://gitlab.com/gitlab-org/gitlab/-/issues/209808) and +the [solarized dark theme](https://gitlab.com/gitlab-org/gitlab/-/issues/219228), +which apply to the entire Web IDE screen. ## Behavior |