Add border to top of status bar

This commit is contained in:
Nate Butler 2022-04-06 12:25:15 -04:00
parent e584e892f4
commit b1eda1ac39
3 changed files with 27 additions and 14 deletions

View file

@ -219,6 +219,12 @@
"left": 6, "left": 6,
"right": 6 "right": 6
}, },
"border": {
"color": "#070707",
"width": 1,
"top": true,
"overlay": true
},
"cursor_position": { "cursor_position": {
"family": "Zed Sans", "family": "Zed Sans",
"color": "#808080", "color": "#808080",
@ -265,7 +271,7 @@
"sign_in_prompt": { "sign_in_prompt": {
"family": "Zed Sans", "family": "Zed Sans",
"color": "#9c9c9c", "color": "#9c9c9c",
"size": 13, "size": 12,
"underline": true, "underline": true,
"padding": { "padding": {
"right": 8 "right": 8
@ -274,7 +280,7 @@
"hovered_sign_in_prompt": { "hovered_sign_in_prompt": {
"family": "Zed Sans", "family": "Zed Sans",
"color": "#ffffff", "color": "#ffffff",
"size": 13, "size": 12,
"underline": true, "underline": true,
"padding": { "padding": {
"right": 8 "right": 8

View file

@ -18,7 +18,7 @@
}, },
"highlight_text": { "highlight_text": {
"family": "Zed Sans", "family": "Zed Sans",
"color": "#484bed", "color": "#1b1edc",
"weight": "bold", "weight": "bold",
"size": 14 "size": 14
} }
@ -38,7 +38,7 @@
}, },
"highlight_text": { "highlight_text": {
"family": "Zed Sans", "family": "Zed Sans",
"color": "#484bed", "color": "#1b1edc",
"weight": "bold", "weight": "bold",
"size": 14 "size": 14
}, },
@ -219,6 +219,12 @@
"left": 6, "left": 6,
"right": 6 "right": 6
}, },
"border": {
"color": "#d5d5d5",
"width": 1,
"top": true,
"overlay": true
},
"cursor_position": { "cursor_position": {
"family": "Zed Sans", "family": "Zed Sans",
"color": "#636363", "color": "#636363",
@ -265,7 +271,7 @@
"sign_in_prompt": { "sign_in_prompt": {
"family": "Zed Sans", "family": "Zed Sans",
"color": "#474747", "color": "#474747",
"size": 13, "size": 12,
"underline": true, "underline": true,
"padding": { "padding": {
"right": 8 "right": 8
@ -274,7 +280,7 @@
"hovered_sign_in_prompt": { "hovered_sign_in_prompt": {
"family": "Zed Sans", "family": "Zed Sans",
"color": "#000000", "color": "#000000",
"size": 13, "size": 12,
"underline": true, "underline": true,
"padding": { "padding": {
"right": 8 "right": 8
@ -407,7 +413,7 @@
}, },
"match_highlight": { "match_highlight": {
"family": "Zed Mono", "family": "Zed Mono",
"color": "#484bed", "color": "#1b1edc",
"size": 14 "size": 14
}, },
"selected_item": { "selected_item": {
@ -656,21 +662,21 @@
}, },
"syntax": { "syntax": {
"keyword": "#1819a1", "keyword": "#1819a1",
"function": "#f9812e", "function": "#bb550e",
"string": "#eb2d2d", "string": "#eb2d2d",
"type": "#de900c", "type": "#a8820e",
"number": "#484bed", "number": "#484bed",
"comment": "#717171", "comment": "#717171",
"property": "#118a62", "property": "#106c4e",
"variant": "#1096d3", "variant": "#97142a",
"constant": "#1c1c1c", "constant": "#1c1c1c",
"title": { "title": {
"color": "#1096d3", "color": "#1096d3",
"weight": "bold" "weight": "bold"
}, },
"emphasis": "#484bed", "emphasis": "#1b1edc",
"emphasis_strong": { "emphasis_strong": {
"color": "#484bed", "color": "#1b1edc",
"weight": "bold" "weight": "bold"
}, },
"link_uri": { "link_uri": {

View file

@ -1,5 +1,5 @@
import Theme from "../themes/theme"; import Theme from "../themes/theme";
import { backgroundColor, border, iconColor, text } from "./components"; import { backgroundColor, border, borderColor, iconColor, text } from "./components";
export default function workspace(theme: Theme) { export default function workspace(theme: Theme) {
const signInPrompt = { const signInPrompt = {
@ -88,6 +88,7 @@ export default function workspace(theme: Theme) {
left: 6, left: 6,
right: 6, right: 6,
}, },
border: border(theme, "primary", { top: true, overlay: true }),
cursorPosition: text(theme, "sans", "muted"), cursorPosition: text(theme, "sans", "muted"),
diagnosticMessage: text(theme, "sans", "muted"), diagnosticMessage: text(theme, "sans", "muted"),
lspMessage: text(theme, "sans", "muted"), lspMessage: text(theme, "sans", "muted"),