Manos Pitsidianakis 22fb2ed46c Implement pager filter through EmbedGrid ... Parse pager filter output as an EmbedGrid instead of the old ansi parser module.		2021-09-12 14:55:24 +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	Implement pager filter through EmbedGrid	2021-09-12 14:55:24 +03:00
widgets.rs	utilities/ProgressSpinner: add interval field and new spinners	2021-01-11 19:11:08 +02:00