CrystalSplitter/ghcitui
1
1
Fork 0
mirror of https://github.com/CrystalSplitter/ghcitui.git synced 2024-08-16 06:30:35 +03:00
Code Issues Packages Projects Releases Wiki Activity

Add help message on blank start up

Browse Source
This commit is contained in:
CrystalSplitter 2024-02-11 01:37:22 -08:00 committed by Jordan R AW
parent 35efe6172b
commit a32d71e551
1 changed files with 17 additions and 8 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

25
lib/ghcitui-brick/Ghcitui/Brick/DrawSourceViewer.hs
View File

@ -31,15 +31,24 @@ drawSourceViewer s
currentlyRunning = Daemon.isExecuting (AppState.interpState s)
srcWindow = s ^. AppState.sourceWindow
notRunningWidget =
padWidget splashWidget
<=> padWidget (B.txt "Nothing executing. Maybe run something?")
withStyle
( padTop (B.hCenter splashWidget)
<=> padTop
( B.hCenter (B.txt "Nothing executing. Maybe run something?")
<=> B.hCenter (B.txt "Press '?' for help.")
)
)
noSourceWidget =
padWidget splashWidget <=> padWidget (B.txt "Can't display. Source not found.")
padWidget w =
B.padTop (B.Pad 3)
. B.hCenter
$ B.withAttr (B.attrName "styled") w
splashWidget = B.txt $ fromMaybe "No splash file loaded." (AppState.splashContents s)
withStyle (B.hCenter splashWidget <=> padTop (B.txt "Can't display. Source not found."))
splashWidget =
withStyle (B.txt (fromMaybe "No splash file loaded." (AppState.splashContents s)))
-- Utils
padTop :: B.Widget n -> B.Widget n
padTop = B.padTop (B.Pad 3)
withStyle :: B.Widget n -> B.Widget n
withStyle = B.withAttr (B.attrName "styled")
-- -------------------------------------------------------------------------------------------------
-- Source Viewer Drawing Details