jtdaugherty/brick
1
1
Fork 0
mirror of https://github.com/jtdaugherty/brick.git synced 2024-12-01 17:32:52 +03:00
Code Issues Projects Releases Wiki Activity

Whitespace

Browse Source
This commit is contained in:
Jonathan Daugherty 2021-06-29 08:14:50 -07:00
parent 46944a367b
commit 7d0a87f102
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
src/Brick/Widgets/Core.hs
View File

@ -1023,9 +1023,9 @@ vRelease p =
-- use the rendered version from the cache. If not, render the specified
-- widget and update the cache with the result.
--
-- To ensure that mouse events are emitted correctly for cached widgets,
-- in addition to the rendered widget, we also cache (the names of)
-- any clickable extents that were rendered and restore that when utilizing
-- To ensure that mouse events are emitted correctly for cached widgets,
-- in addition to the rendered widget, we also cache (the names of) any
-- clickable extents that were rendered and restore that when utilizing
-- the cache.
--
-- See also 'invalidateCacheEntry'.