This repository has been archived on 2023-08-08. You can view files and clone it, but cannot push or open issues or pull requests.
tomo-old/layouts/horizontal.go

146 lines
3.5 KiB
Go
Raw Normal View History

2023-01-10 21:20:42 -07:00
package layouts
import "image"
import "git.tebibyte.media/sashakoshka/tomo"
import "git.tebibyte.media/sashakoshka/tomo/theme"
// Horizontal arranges elements horizontally. Elements at the start of the entry
// list will be positioned on the left, and elements at the end of the entry
// list will positioned on the right. All elements have the same height.
type Horizontal struct {
// If Gap is true, a gap will be placed between each element.
Gap bool
// If Pad is true, there will be padding running along the inside of the
// layout's border.
Pad bool
}
// Arrange arranges a list of entries horizontally.
func (layout Horizontal) Arrange (entries []tomo.LayoutEntry, width, height int) {
if layout.Pad {
2023-01-30 16:22:19 -07:00
width -= theme.Margin() * 2
height -= theme.Margin() * 2
2023-01-10 21:20:42 -07:00
}
// get width of expanding elements
expandingElementWidth := layout.expandingElementWidth(entries, width)
2023-01-10 21:20:42 -07:00
x, y := 0, 0
if layout.Pad {
2023-01-30 16:22:19 -07:00
x += theme.Margin()
y += theme.Margin()
2023-01-10 21:20:42 -07:00
}
// set the size and position of each element
for index, entry := range entries {
2023-01-30 16:22:19 -07:00
if index > 0 && layout.Gap { x += theme.Margin() }
2023-01-10 21:20:42 -07:00
entries[index].Position = image.Pt(x, y)
entryWidth := 0
if entry.Expand {
entryWidth = expandingElementWidth
} else {
entryWidth, _ = entry.MinimumSize()
}
x += entryWidth
entryBounds := entry.Bounds()
if entryBounds.Dy() != height || entryBounds.Dx() != entryWidth {
entry.Resize(entryWidth, height)
2023-01-10 21:20:42 -07:00
}
}
}
// MinimumSize returns the minimum width and height that will be needed to
// arrange the given list of entries.
func (layout Horizontal) MinimumSize (
entries []tomo.LayoutEntry,
) (
width, height int,
) {
2023-01-10 21:20:42 -07:00
for index, entry := range entries {
entryWidth, entryHeight := entry.MinimumSize()
if entryHeight > height {
height = entryHeight
}
width += entryWidth
if layout.Gap && index > 0 {
2023-01-30 16:22:19 -07:00
width += theme.Margin()
2023-01-10 21:20:42 -07:00
}
}
if layout.Pad {
2023-01-30 16:22:19 -07:00
width += theme.Margin() * 2
height += theme.Margin() * 2
2023-01-10 21:20:42 -07:00
}
return
}
2023-01-19 14:54:49 -07:00
// FlexibleHeightFor Returns the minimum height the layout needs to lay out the
// specified elements at the given width, taking into account flexible elements.
func (layout Horizontal) FlexibleHeightFor (
entries []tomo.LayoutEntry,
width int,
) (
height int,
) {
if layout.Pad {
2023-01-30 16:22:19 -07:00
width -= theme.Margin() * 2
}
// get width of expanding elements
expandingElementWidth := layout.expandingElementWidth(entries, width)
x, y := 0, 0
if layout.Pad {
2023-01-30 16:22:19 -07:00
x += theme.Margin()
y += theme.Margin()
}
// set the size and position of each element
for index, entry := range entries {
entryWidth, entryHeight := entry.MinimumSize()
if entry.Expand {
entryWidth = expandingElementWidth
}
if child, flexible := entry.Element.(tomo.Flexible); flexible {
2023-01-19 14:54:49 -07:00
entryHeight = child.FlexibleHeightFor(entryWidth)
}
if entryHeight > height { height = entryHeight }
x += entryWidth
2023-01-30 16:22:19 -07:00
if index > 0 && layout.Gap { x += theme.Margin() }
}
if layout.Pad {
2023-01-30 16:22:19 -07:00
height += theme.Margin() * 2
}
return
}
func (layout Horizontal) expandingElementWidth (
entries []tomo.LayoutEntry,
freeSpace int,
) (
width int,
) {
expandingElements := 0
// count the number of expanding elements and the amount of free space
// for them to collectively occupy
for index, entry := range entries {
if entry.Expand {
expandingElements ++
} else {
entryMinWidth, _ := entry.MinimumSize()
freeSpace -= entryMinWidth
}
if index > 0 && layout.Gap {
2023-01-30 16:22:19 -07:00
freeSpace -= theme.Margin()
}
}
if expandingElements > 0 {
width = freeSpace / expandingElements
}
return
}