I think the library is the following: https://github.com/jonblack/arduino-menusystem