You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Copy file name to clipboardExpand all lines: api/references/theme-color.md
-3Lines changed: 0 additions & 3 deletions
Display the source diff
Display the rich diff
Original file line number
Diff line number
Diff line change
@@ -314,7 +314,6 @@ Editor Groups are the containers of editors. There can be many editor groups. A
314
314
-`tab.unfocusedActiveBorder`: Bottom border for the active tab in an inactive editor group.
315
315
-`tab.activeBorderTop`: Top border for the active tab.
316
316
-`tab.unfocusedActiveBorderTop`: Top border for the active tab in an inactive editor group
317
-
-`tab.dragAndDropBorder`: Border between tabs to indicate that a tab can be inserted between two tabs. Tabs are the containers for editors in the editor area. Multiple tabs can be opened in one editor group. There can be multiple editor groups.
318
317
-`tab.lastPinnedBorder`: Border on the right of the last pinned editor to separate from unpinned editors.
0 commit comments