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: packages/core/src/browser/common-frontend-contribution.ts
-4Lines changed: 0 additions & 4 deletions
Original file line number
Diff line number
Diff line change
@@ -1474,10 +1474,6 @@ export class CommonFrontendContribution implements FrontendApplicationContributi
1474
1474
},
1475
1475
{
1476
1476
id: 'tab.activeBorderTop',
1477
-
defaults: {
1478
-
dark: 'focusBorder',
1479
-
light: 'focusBorder'
1480
-
},
1481
1477
description: 'Border to the top of an active tab. 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.'
0 commit comments