alex/musicplayer
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Add margin to box headings

Browse Source
This commit is contained in:
Alexander Heldt
2025-12-26 11:56:24 +01:00
parent dc7af935ec
commit 4329625cf4
2 changed files with 5 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
src/musicplayer/ui/plot.gleam
View File

@@ -57,8 +57,9 @@ pub fn box_with_heading(
height: Int, height: Int,
heading: String, heading: String,
) -> Buffer { ) -> Buffer {
let heading_margin = 1
box(buffer, x, y, width, height) box(buffer, x, y, width, height)
|> text(heading, x, y) |> text(heading, x + heading_margin, y)
} }
fn horizontal_line( fn horizontal_line(

6
test/musicplayer/ui/layout_test.gleam
View File

@@ -58,8 +58,8 @@ pub fn percent_layout_test() {
let expected = let expected =
" "
┌──────────────────────────────────────────────────────────────────────────────┐ ┌──────────────────────────────────────────────────────────────────────────────┐
│row 1────────────────────────────────────────────────────────────────────────┐│ │┌row 1───────────────────────────────────────────────────────────────────────┐│
││cell 1───────────────────────────────┐cell 2───────────────────────────────┐││ ││┌cell 1──────────────────────────────┐┌cell 2──────────────────────────────┐││
│││ ││ │││ │││ ││ │││
│││ ││ │││ │││ ││ │││
│││ ││ │││ │││ ││ │││
@@ -67,7 +67,7 @@ pub fn percent_layout_test() {
│││ ││ │││ │││ ││ │││
││└────────────────────────────────────┘└────────────────────────────────────┘││ ││└────────────────────────────────────┘└────────────────────────────────────┘││
│└────────────────────────────────────────────────────────────────────────────┘│ │└────────────────────────────────────────────────────────────────────────────┘│
│row 1────────────────────────────────────────────────────────────────────────┐│ │┌row 1───────────────────────────────────────────────────────────────────────┐│
││ ││ ││ ││
││ ││ ││ ││
││ ││ ││ ││