file copied/renamed from AllListViewController.h