Safe Haskell | None |
---|---|
Language | Haskell2010 |
Synopsis
- data ScrollToBottom
- data ScrollableConfig t = ScrollableConfig {}
- data ScrollPos
- data Scrollable t = Scrollable {}
- scrollable :: forall t m. (Reflex t, MonadHold t m, MonadFix m, HasDisplayRegion t m, HasInput t m, HasImageWriter t m, HasTheme t m) => ScrollableConfig t -> m (Behavior t Image, Event t ()) -> m (Scrollable t)
- scrollByLines :: ScrollPos -> Int -> Int -> Int -> ScrollPos
- scrollToLine :: Int -> Int -> Int -> ScrollPos
Documentation
data ScrollToBottom Source #
Configuration options for automatic scroll-to-bottom behavior
ScrollToBottom_Always | Always scroll to the bottom on new output |
ScrollToBottom_Maintain | Scroll down with new output only when, prior to the new output being added, the widget was scrolled all the way to the bottom. |
Instances
Eq ScrollToBottom Source # | |
Defined in Reflex.Vty.Widget.Scroll (==) :: ScrollToBottom -> ScrollToBottom -> Bool # (/=) :: ScrollToBottom -> ScrollToBottom -> Bool # | |
Ord ScrollToBottom Source # | |
Defined in Reflex.Vty.Widget.Scroll compare :: ScrollToBottom -> ScrollToBottom -> Ordering # (<) :: ScrollToBottom -> ScrollToBottom -> Bool # (<=) :: ScrollToBottom -> ScrollToBottom -> Bool # (>) :: ScrollToBottom -> ScrollToBottom -> Bool # (>=) :: ScrollToBottom -> ScrollToBottom -> Bool # max :: ScrollToBottom -> ScrollToBottom -> ScrollToBottom # min :: ScrollToBottom -> ScrollToBottom -> ScrollToBottom # | |
Show ScrollToBottom Source # | |
Defined in Reflex.Vty.Widget.Scroll showsPrec :: Int -> ScrollToBottom -> ShowS # show :: ScrollToBottom -> String # showList :: [ScrollToBottom] -> ShowS # |
data ScrollableConfig t Source #
Configuration for the scrollable element. Controls scroll behavior.
ScrollableConfig | |
|
Instances
Reflex t => Default (ScrollableConfig t) Source # | |
Defined in Reflex.Vty.Widget.Scroll def :: ScrollableConfig t # |
The scroll position
data Scrollable t Source #
The output of a scrollable
, indicating its current scroll position.
scrollable :: forall t m. (Reflex t, MonadHold t m, MonadFix m, HasDisplayRegion t m, HasInput t m, HasImageWriter t m, HasTheme t m) => ScrollableConfig t -> m (Behavior t Image, Event t ()) -> m (Scrollable t) Source #
Scrollable widget. The output exposes the current scroll position and total number of lines (including those that are hidden)