Fix missing border on tab bar navigation arrows

This commit is contained in:
Nate Butler 2023-08-17 11:00:22 -04:00
parent 1bd7d7077a
commit f451e3423d
2 changed files with 7 additions and 2 deletions

View file

@ -90,6 +90,10 @@ export default function tab_bar(): any {
icon_width: 12, icon_width: 12,
button_width: active_pane_active_tab.height, button_width: active_pane_active_tab.height,
border: border(theme.lowest, "on", {
bottom: true,
overlay: true,
})
}, },
state: { state: {
hovered: { hovered: {
@ -97,10 +101,11 @@ export default function tab_bar(): any {
background: background(theme.highest, "on", "hovered"), background: background(theme.highest, "on", "hovered"),
}, },
disabled: { disabled: {
color: foreground(theme.highest, "on", "disabled"), color: foreground(theme.highest, "on", "disabled")
}, },
}, },
}) })
const dragged_tab = { const dragged_tab = {
...active_pane_active_tab, ...active_pane_active_tab,
background: with_opacity(tab.background, 0.9), background: with_opacity(tab.background, 0.9),

View file

@ -1,4 +1,4 @@
import chroma, { Scale, Color } from "chroma-js" import { Scale, Color } from "chroma-js"
import { Syntax, ThemeSyntax, SyntaxHighlightStyle } from "./syntax" import { Syntax, ThemeSyntax, SyntaxHighlightStyle } from "./syntax"
export { Syntax, ThemeSyntax, SyntaxHighlightStyle } export { Syntax, ThemeSyntax, SyntaxHighlightStyle }
import { import {