mirror of
https://github.com/zed-industries/zed.git
synced 2025-01-11 21:13:02 +00:00
93c0c2af0a
Replaced remaining extends with javascript object extension. Moved tokens/core.ts to tokens.ts and massaged the types to make it more obvious when types don't match up. Co-authored-by: Nathan Sobo <nathan@zed.dev>
61 lines
No EOL
1.4 KiB
TypeScript
61 lines
No EOL
1.4 KiB
TypeScript
import Theme from "../themes/theme";
|
|
import { panel } from "./app";
|
|
import { borderColor, text } from "./components";
|
|
|
|
export default function(theme: Theme) {
|
|
const project = {
|
|
guestAvatarSpacing: 4,
|
|
height: 24,
|
|
guestAvatar: {
|
|
cornerRadius: 8,
|
|
width: 14,
|
|
},
|
|
name: {
|
|
...text(theme, "mono", "secondary"),
|
|
margin: {
|
|
right: 6,
|
|
},
|
|
},
|
|
padding: {
|
|
left: 8,
|
|
},
|
|
};
|
|
|
|
const sharedProject = {
|
|
...project,
|
|
name: {
|
|
...project.name,
|
|
...text(theme, "mono", "primary"),
|
|
},
|
|
};
|
|
|
|
return {
|
|
...panel,
|
|
hostRowHeight: 28,
|
|
treeBranchColor: borderColor(theme, "muted"),
|
|
treeBranchWidth: 1,
|
|
hostAvatar: {
|
|
cornerRadius: 10,
|
|
width: 18,
|
|
},
|
|
hostUsername: {
|
|
...text(theme, "mono", "muted"),
|
|
padding: {
|
|
left: 8,
|
|
},
|
|
},
|
|
project,
|
|
sharedProject,
|
|
hoveredSharedProject: {
|
|
...sharedProject,
|
|
background: theme.editor.line.active.value,
|
|
cornerRadius: 6,
|
|
},
|
|
unsharedProject: project,
|
|
hoveredUnsharedProject: {
|
|
...project,
|
|
background: theme.editor.line.active.value,
|
|
cornerRadius: 6,
|
|
},
|
|
}
|
|
} |