jtdaugherty/brick
1
1
Fork 0
mirror of https://github.com/jtdaugherty/brick.git synced 2024-10-27 09:38:28 +03:00
Code Issues Projects Releases Wiki Activity

File browser docs: clarification

Browse Source
This commit is contained in:
Jonathan Daugherty 2022-01-30 20:17:35 -08:00
parent dd4639e770
commit 563dc75686
1 changed files with 6 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -311,6 +311,12 @@ selectDirectories i =
-- indicates no filtering, meaning all entries will be shown. 'Just'
-- indicates a function that should return 'True' for entries that
-- should be permitted to appear.
--
-- Note that this applies the filter after setting it by updating the
-- listed entries to reflect the result of the filter. That is unlike
-- setting the filter with the 'fileBrowserEntryFilterL' lens directly,
-- which just sets the filter but does not (and cannot) update the
-- listed entries.
setFileBrowserEntryFilter :: Maybe (FileInfo -> Bool) -> FileBrowser n -> FileBrowser n
setFileBrowserEntryFilter f b =
applyFilterAndSearch $ b & fileBrowserEntryFilterL .~ f