Add styling for tear line

This commit is contained in:
2024-06-07 17:36:10 -04:00
parent 880904d5fa
commit 4fff592a70
2 changed files with 70 additions and 7 deletions

View File

@@ -306,4 +306,40 @@ var rules = []dataTheme.Rule {
dataTheme.AttrColor { Color: tomo.ColorAccent },
),
},
// *.TearLine[*]
dataTheme.Rule {
Role: tomo.R("", "TearLine", ""),
Default: dataTheme.AS (
dataTheme.AttrBorder {
tomo.Border {
Width: tomo.I(3),
Color: [4]color.Color {
color.Transparent,
color.Transparent,
color.Transparent,
color.Transparent,
},
},
},
dataTheme.AttrColor { Color: tomo.ColorForeground },
dataTheme.AttrPadding(tomo.I(1, 0, 0, 1)),
),
Hovered: dataTheme.AS (
dataTheme.AttrBorder {
tomo.Border {
Width: tomo.I(3),
Color: borderColorFocused,
},
},
),
Focused: dataTheme.AS (
dataTheme.AttrBorder {
tomo.Border {
Width: tomo.I(3),
Color: borderColorFocused,
},
},
),
},
}