mirrors/zed
1
0
Fork 0
mirror of https://github.com/zed-industries/zed.git synced 2025-01-11 21:13:02 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 8

Merge pull request #1048 from zed-industries/onMedia-theme-text-color

Browse source 
Add onMedia text color for use in disconnect overlay text
This commit is contained in:
Nate Butler 2022-05-25 10:52:37 -04:00 committed by GitHub
commit e39089697d
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
3 changed files with 3 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
styles/src/styleTree/workspace.ts
View file

@ -155,7 +155,7 @@ export default function workspace(theme: Theme) {
padding: { left: 6 },
},
disconnectedOverlay: {
...text(theme, "sans", "active"),
...text(theme, "sans", "onMedia"),
background: "#000000aa",
},
notification: {

1
styles/src/themes/common/base16.ts
View file

@ -107,6 +107,7 @@ export function createTheme(
error: rampColor(ramps.red, 0.5),
warning: rampColor(ramps.yellow, 0.5),
info: rampColor(ramps.blue, 0.5),
onMedia: rampColor(ramps.neutral, isLight ? 0 : 7),
};
const player = {

1
styles/src/themes/common/theme.ts
View file

@ -105,6 +105,7 @@ export default interface Theme {
error: ColorToken;
warning: ColorToken;
info: ColorToken;
onMedia: ColorToken;
};
iconColor: {
primary: ColorToken;