FilePickerElement

io.worxbend.tui.dsl.FilePickerElement
final case class FilePickerElement(state: FilePickerState, props: ElementProps) extends Element

A file chooser over a FilePickerState: arrows navigate, Enter opens directories or accepts a file into state.chosen.

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
trait Element
class Object
trait Matchable
class Any
Show all

Members list

Value members

Concrete methods

def widget: Widget

Inherited methods

def children: Seq[Element]

Attributes

Inherited from:
Element
def productElementNames: Iterator[String]

Attributes

Inherited from:
Product
def productIterator: Iterator[Any]

Attributes

Inherited from:
Product
def style: Style

Attributes

Inherited from:
Element