Reverse order of tool list in TUI
This commit is contained in:
parent
f7ed1a4bde
commit
73d1d97f1f
@ -45,6 +45,7 @@ import URI.ByteString
|
|||||||
import qualified Data.Text as T
|
import qualified Data.Text as T
|
||||||
import qualified Graphics.Vty as Vty
|
import qualified Graphics.Vty as Vty
|
||||||
import qualified Data.Vector as V
|
import qualified Data.Vector as V
|
||||||
|
import qualified Brick.Widgets.List as L
|
||||||
|
|
||||||
|
|
||||||
data AppState = AppState {
|
data AppState = AppState {
|
||||||
@ -71,7 +72,7 @@ ui AppState {..} =
|
|||||||
( padBottom Max
|
( padBottom Max
|
||||||
$ ( withBorderStyle unicode
|
$ ( withBorderStyle unicode
|
||||||
$ borderWithLabel (str "GHCup")
|
$ borderWithLabel (str "GHCup")
|
||||||
$ (center $ (header <=> hBorder <=> renderList renderItem True lr))
|
$ (center $ (header <=> hBorder <=> renderList renderItem True (L.listReverse lr)))
|
||||||
)
|
)
|
||||||
)
|
)
|
||||||
<=> footer
|
<=> footer
|
||||||
|
Loading…
Reference in New Issue
Block a user