urbit/shrub
1
1
Fork 0
mirror of https://github.com/urbit/shrub.git synced 2024-12-24 20:47:27 +03:00
Code Issues Packages Projects Releases Wiki Activity

Minor

Browse Source
This commit is contained in:
Benjamin Summers 2019-09-17 22:06:40 -07:00
parent 99dd161b86
commit 4fdfab66df
1 changed files with 8 additions and 8 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

16
pkg/king/lib/Vere/Term.hs
View File

@ -226,13 +226,6 @@ initializeLocalTerminal = fst <$> mkRAcquire start stop
threadDelay rest
loop
writeTrace :: T.Terminal -> LineState -> Text -> RIO e LineState
writeTrace t ls p = do
io $ T.runTermOutput t $ termText "\r"
runMaybeTermOutput t vtClearToBegin
io $ T.runTermOutput t $ termText p
termRefreshLine t ls
-- Writes data to the terminal. Both the terminal reading, normal logging,
-- and effect handling can all emit bytes which go to the terminal.
writeTerminal :: T.Terminal -> TQueue DrvEv -> TMVar () -> RIO e ()
@ -245,6 +238,13 @@ initializeLocalTerminal = fst <$> mkRAcquire start stop
io $ T.runTermOutput t $ termText "\r\n"
pure ls
writeTrace :: LineState -> Text -> RIO e LineState
writeTrace ls p = do
io $ T.runTermOutput t $ termText "\r"
runMaybeTermOutput t vtClearToBegin
io $ T.runTermOutput t $ termText p
termRefreshLine t ls
{-
Figure out how long to wait to show the spinner. When we
don't have a vane name to display, we assume its a user
@ -289,7 +289,7 @@ initializeLocalTerminal = fst <$> mkRAcquire start stop
execEv :: LineState -> DrvEv -> RIO e LineState
execEv ls = \case
DEBlits bs -> foldM (writeBlit t) ls bs
DETrace p -> writeTrace t ls p
DETrace p -> writeTrace ls p
DEBlank -> writeBlank ls
DESpinr (Just txt) -> doSpin ls txt
DESpinr Nothing -> unspin ls