Mike Blumenkrantz b876c055f5 remove callback for "gadget_destroyed" in pager ... dead code		2017-02-10 17:24:13 -05:00
..
config.c	Pager and Batman: Use pages in config popup and standardize look.	2017-02-09 11:14:03 -06:00
mod.c	Introduce pager gadget using new gadget api.	2016-09-23 10:17:54 -04:00
pager.c	remove callback for "gadget_destroyed" in pager	2017-02-10 17:24:13 -05:00
pager.h	Introduce pager gadget using new gadget api.	2016-09-23 10:17:54 -04:00