Small haddock/user guide corrections

This commit is contained in:
Jan Hrcek 2021-08-17 13:45:11 +02:00
parent bf2710effb
commit 5f4e13b6f0
3 changed files with 6 additions and 8 deletions

View File

@ -221,7 +221,7 @@ type* and *event type* of your application, respectively, and must match
the corresponding types in ``App`` and ``EventM``.
The return value type ``Next s`` value describes what should happen
after the event handler is finished. We have three choices:
after the event handler is finished. We have four choices:
* ``Brick.Main.continue s``: continue executing the event loop with the
specified application state ``s`` as the next value. Commonly this is
@ -791,7 +791,7 @@ Brick provides support for customizable attribute themes. This works as
follows:
* The application provides a default theme built in to the program.
* The application customizes the them by loading theme customizations
* The application customizes the theme by loading theme customizations
from a user-specified customization file.
* The application can save new customizations to files for later
re-loading.
@ -941,12 +941,12 @@ in event handlers in ``EventM``:
mExtent <- Brick.Main.lookupExtent FooBox
case mExtent of
Nothing -> ...
Just (Extent _ upperLeft (width, height) offset) -> ...
Just (Extent _ upperLeft (width, height)) -> ...
Paste Support
=============
Some terminal emulators support "bracketed paste" support. This feature
Some terminal emulators support "bracketed paste" mode. This feature
enables OS-level paste operations to send the pasted content as a
single chunk of data and bypass the usual input processing that the
application does. This enables more secure handling of pasted data since

View File

@ -843,9 +843,8 @@ withAttr an p =
withReaderT (ctxAttrNameL .~ an) (render p)
-- | Update the attribute map while rendering the specified widget: set
-- its new default attribute to the one that we get by looking up the
-- specified attribute name in the map and then modifying it with the
-- specified function.
-- its new default attribute to the one that we get by applying specified
-- function to the current default attribute.
modifyDefAttr :: (V.Attr -> V.Attr) -> Widget n -> Widget n
modifyDefAttr f p =
Widget (hSize p) (vSize p) $ do

View File

@ -10,7 +10,6 @@ module Brick.Widgets.ProgressBar
where
import Lens.Micro ((^.))
import Data.List (splitAt)
import Data.Maybe (fromMaybe)
#if !(MIN_VERSION_base(4,11,0))
import Data.Monoid