Manos Pitsidianakis e7b9d2963c pager: add filter command, esc to clear filter		2021-09-12 17:39:51 +03:00
..
dialogs.rs	Add reload-config command	2020-12-02 21:01:22 +02:00
layouts.rs	Remove some old TODO comments	2020-08-26 00:54:07 +03:00
pager.rs	pager: add filter command, esc to clear filter	2021-09-12 17:39:51 +03:00
widgets.rs	utilities/ProgressSpinner: add interval field and new spinners	2021-01-11 19:11:08 +02:00