This is the complete list of members for InfoMenu, including all inherited members.

add_item(string new_item)	Menu
border	Menu
exit	Menu
extra_lines	Menu
game	Menu
get_extra_lines()	Menu
get_id()	Menu
get_screen()	Menu
get_selection()	Menu
id	Menu
InfoMenu(int _padding, Tile _border, Game _game, Item _item) (defined in InfoMenu)	InfoMenu
item	InfoMenu	protected
make_selection()	InfoMenu	virtual
Menu(int _padding, Tile _border)	Menu
move_selection(int direction)	Menu
next_screen	Menu
num_extra_lines()	Menu
options	Menu
out_of_bounds(int row)	Menu
padding	Menu
selection	Menu
should_exit()	Menu
title	Menu
toggle_exit()	Menu