diff options
| author | Michael Davis | 2021-12-22 15:58:51 +0000 |
|---|---|---|
| committer | Blaž Hrastnik | 2021-12-25 15:12:49 +0000 |
| commit | c1f4c0e67acc65a263440fce98514c9e6de1940d (patch) | |
| tree | e88063e40768b6b2ee613ea3c8cbd5ae5e01cf43 | |
| parent | 3b800025af0bdf7e8179cbb42ad0b4374b9005f1 (diff) | |
add new scopes to themes docs
| -rw-r--r-- | book/src/themes.md | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/book/src/themes.md b/book/src/themes.md index fce2c0ca..8eee334b 100644 --- a/book/src/themes.md +++ b/book/src/themes.md @@ -178,6 +178,12 @@ We use a similar set of scopes as - `inline` - `block` +- `diff` - version control changes + - `plus` - additions + - `minus` - deletions + - `delta` - modifications + - `moved` - renamed or moved files/changes + #### Interface These scopes are used for theming the editor interface. |