mirror of
https://github.com/zed-industries/zed.git
synced 2025-01-12 05:15:00 +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>
46 lines
1.4 KiB
TypeScript
46 lines
1.4 KiB
TypeScript
import Theme from "../themes/theme";
|
|
import chatPanel from "./chatPanel";
|
|
import { backgroundColor, borderColor, text } from "./components";
|
|
import contactsPanel from "./contactsPanel";
|
|
import editor from "./editor";
|
|
import projectPanel from "./projectPanel";
|
|
import search from "./search";
|
|
import selectorModal from "./selectorModal";
|
|
import workspace from "./workspace";
|
|
|
|
export const panel = {
|
|
padding: { top: 12, left: 12, bottom: 12, right: 12 },
|
|
};
|
|
|
|
export default function app(theme: Theme): Object {
|
|
return {
|
|
selector: selectorModal(theme),
|
|
workspace: workspace(theme),
|
|
editor: editor(theme),
|
|
projectDiagnostics: {
|
|
background: backgroundColor(theme, 300),
|
|
tabIconSpacing: 4,
|
|
tabIconWidth: 13,
|
|
tabSummarySpacing: 10,
|
|
emptyMessage: {
|
|
...text(theme, "sans", "primary", { size: "lg" }),
|
|
},
|
|
statusBarItem: {
|
|
...text(theme, "sans", "muted"),
|
|
margin: {
|
|
right: 10,
|
|
},
|
|
},
|
|
},
|
|
projectPanel: projectPanel(theme),
|
|
chatPanel: chatPanel(theme),
|
|
contactsPanel: contactsPanel(theme),
|
|
search: search(theme),
|
|
breadcrumbs: {
|
|
...text(theme, "sans", "primary"),
|
|
padding: {
|
|
left: 6,
|
|
},
|
|
}
|
|
};
|
|
}
|