← All compilation units

Flyology_TUI.Components.Progress

Description

Create

function Create
  (Width      : Positive := 40;
   Show_Value : Boolean := True) return Model
Parameters
Width
Show_Value
Return value

Fraction

subtype Fraction is Long_Float range 0.0 .. 1.0;

Model

type Model is tagged private;

Render

function Render
  (Item       : Model;
   Complete   : Flyology_TUI.Styles.Style := Flyology_TUI.Styles.Default;
   Remaining  : Flyology_TUI.Styles.Style := Flyology_TUI.Styles.Default)
   return Flyology_TUI.Surfaces.Surface
Parameters
Item
Complete
Remaining
Return value

Render

function Render
  (Item  : Model;
   Theme : Flyology_TUI.Themes.Theme)
   return Flyology_TUI.Surfaces.Surface

Render with Complete mapped to Primary and Remaining mapped to Muted.

Parameters
Item
Theme
Return value

Set

procedure Set (Item : in out Model; Value : Fraction)
Parameters
Item
Value

Set_Width

procedure Set_Width (Item : in out Model; Width : Natural)

Change the retained render width. Zero renders an empty one-row view.

Parameters
Item
Width

Value

function Value (Item : Model) return Fraction
Parameters
Item
Return value

Width

function Width (Item : Model) return Natural
Parameters
Item
Return value