PaginatorElement
io.worxbend.tui.dsl.PaginatorElement
final case class PaginatorElement(current: Signal[Int], total: Int, props: ElementProps) extends Element
A page indicator: Left/Right change the page while focused.
Attributes
- Graph
-
- Supertypes
Members list
In this article