diff --git a/styles/src/style_tree/tab_bar.ts b/styles/src/style_tree/tab_bar.ts index 81e1f7adf3bb2d36757dc92d95bc2f9ffc9e6bda..129bd178690b1e219b50c972de2504b42e83d933 100644 --- a/styles/src/style_tree/tab_bar.ts +++ b/styles/src/style_tree/tab_bar.ts @@ -90,6 +90,10 @@ export default function tab_bar(): any { icon_width: 12, button_width: active_pane_active_tab.height, + border: border(theme.lowest, "on", { + bottom: true, + overlay: true, + }) }, state: { hovered: { @@ -97,10 +101,11 @@ export default function tab_bar(): any { background: background(theme.highest, "on", "hovered"), }, disabled: { - color: foreground(theme.highest, "on", "disabled"), + color: foreground(theme.highest, "on", "disabled") }, }, }) + const dragged_tab = { ...active_pane_active_tab, background: with_opacity(tab.background, 0.9), diff --git a/styles/src/theme/create_theme.ts b/styles/src/theme/create_theme.ts index e0da345bc52a81a8519f5f36d1d7ab76d9a6ff4c..ab3c96f28072ce726f0b1eea1468bb4941686c5d 100644 --- a/styles/src/theme/create_theme.ts +++ b/styles/src/theme/create_theme.ts @@ -1,4 +1,4 @@ -import chroma, { Scale, Color } from "chroma-js" +import { Scale, Color } from "chroma-js" import { Syntax, ThemeSyntax, SyntaxHighlightStyle } from "./syntax" export { Syntax, ThemeSyntax, SyntaxHighlightStyle } import {