@@ -28,6 +28,7 @@ import Reflex.Vty
2828
2929data Example = Example_TextEditor
3030 | Example_Todo
31+ | Example_ScrollableTextDisplay
3132 deriving (Show, Read, Eq, Ord, Enum, Bounded)
3233
3334main :: IO ()
@@ -40,9 +41,11 @@ main = mainWidget $ do
4041 fixed 1 $ text "Ctrl+c to quit."
4142 a <- fixed 5 $ textButtonStatic def "Todo List"
4243 b <- fixed 5 $ textButtonStatic def "Text Editor"
44+ c <- fixed 5 $ textButtonStatic def "Scrollable text display"
4345 return $ leftmost
4446 [ Left Example_Todo <$ a
4547 , Left Example_TextEditor <$ b
48+ , Left Example_ScrollableTextDisplay <$ c
4649 ]
4750 escapable w = do
4851 void w
@@ -53,11 +56,12 @@ main = mainWidget $ do
5356 rec out <- networkHold buttons $ ffor (switch (current out)) $ \case
5457 Left Example_TextEditor -> escapable testBoxes
5558 Left Example_Todo -> escapable taskList
59+ Left Example_ScrollableTextDisplay -> escapable scrolling
5660 Right () -> buttons
5761 return $ fforMaybe inp $ \case
5862 V.EvKey (V.KChar 'c') [V.MCtrl] -> Just ()
5963 _ -> Nothing
60−
64+
6165taskList
6266 :: (Reflex t, MonadHold t m, MonadFix m, Adjustable t m, NotReady t m, PostBuild t m, MonadNodeId m)
6367 => VtyWidget t m ()
@@ -167,6 +171,12 @@ todo t0 = do
167171 V.EvKey V.KBS _ | T.null v -> Just ()
168172 _ -> Nothing
169173
174+scrolling :: (Reflex t, MonadHold t m, MonadFix m, PostBuild t m, MonadNodeId m) => VtyWidget t m ()
175+scrolling = col $ do
176+ fixed 2 $ text "Use your mouse wheel or up and down arrows to scroll:"
177+ out <- fixed 5 $ boxStatic def $ scrollableText never $ "Gallia est omnis divisa in partes tres, quarum unam incolunt Belgae, aliam Aquitani, tertiam qui ipsorum lingua Celtae, nostra Galli appellantur. Hi omnes lingua, institutis, legibus inter se differunt. Gallos ab Aquitanis Garumna flumen, a Belgis Matrona et Sequana dividit. Horum omnium fortissimi sunt Belgae, propterea quod a cultu atque humanitate provinciae longissime absunt, minimeque ad eos mercatores saepe commeant atque ea quae ad effeminandos animos pertinent important, proximique sunt Germanis, qui trans Rhenum incolunt, quibuscum continenter bellum gerunt. Qua de causa Helvetii quoque reliquos Gallos virtute praecedunt, quod fere cotidianis proeliis cum Germanis contendunt, cum aut suis finibus eos prohibent aut ipsi in eorum finibus bellum gerunt. Eorum una pars, quam Gallos obtinere dictum est, initium capit a flumine Rhodano, continetur Garumna flumine, Oceano, finibus Belgarum, attingit etiam ab Sequanis et Helvetiis flumen Rhenum, vergit ad septentriones. Belgae ab extremis Galliae finibus oriuntur, pertinent ad inferiorem partem fluminis Rheni, spectant in septentrionem et orientem solem. Aquitania a Garumna flumine ad Pyrenaeos montes et eam partem Oceani quae est ad Hispaniam pertinet; spectat inter occasum solis et septentriones.\nApud Helvetios longe nobilissimus fuit et ditissimus Orgetorix. Is M. Messala, [et P.] M. Pisone consulibus regni cupiditate inductus coniurationem nobilitatis fecit et civitati persuasit ut de finibus suis cum omnibus copiis exirent: perfacile esse, cum virtute omnibus praestarent, totius Galliae imperio potiri. Id hoc facilius iis persuasit, quod undique loci natura Helvetii continentur: una ex parte flumine Rheno latissimo atque altissimo, qui agrum Helvetium a Germanis dividit; altera ex parte monte Iura altissimo, qui est inter Sequanos et Helvetios; tertia lacu Lemanno et flumine Rhodano, qui provinciam nostram ab Helvetiis dividit. His rebus fiebat ut et minus late vagarentur et minus facile finitimis bellum inferre possent; qua ex parte homines bellandi cupidi magno dolore adficiebantur. Pro multitudine autem hominum et pro gloria belli atque fortitudinis angustos se fines habere arbitrabantur, qui in longitudinem milia passuum CCXL, in latitudinem CLXXX patebant."
178+ fixed 1 $ text $ ffor out $ \(ix, total) -> "Scrolled to line " <> T.pack (show ix) <> " of " <> T.pack (show total)
179+
170180todos
171181 :: forall t m.
172182 ( MonadHold t m