mirror of
https://github.com/jtdaugherty/brick.git
synced 2024-12-27 07:53:44 +03:00
guide: wording
This commit is contained in:
parent
84703cb419
commit
c501330d79
@ -1635,11 +1635,12 @@ The customizable keybindings API provides:
|
||||
* ``Brick.Keybindings.KeyDispatcher``: specifying handlers and
|
||||
dispatching incoming key events to them.
|
||||
|
||||
Brick provides a complete working example of the custom keybinding API
|
||||
in ``programs/CustomKeybindingDemo.hs``. This section of the User Guide
|
||||
describes the API at a high level. More detailed documentation on how to
|
||||
use the API, including a step-by-step process for using it, can be found
|
||||
in the module documentation for ``Brick.Keybindings.KeyDispatcher``.
|
||||
This section of the User Guide describes the API at a high level,
|
||||
but Brick also provides a complete working example of the custom
|
||||
keybinding API in ``programs/CustomKeybindingDemo.hs`` and
|
||||
provides detailed documentation on how to use the API, including a
|
||||
step-by-step process for using it, in the module documentation for
|
||||
``Brick.Keybindings.KeyDispatcher``.
|
||||
|
||||
The following table compares Brick application design decisions and
|
||||
runtime behaviors in a typical application compared to one that uses the
|
||||
|
Loading…
Reference in New Issue
Block a user