menu_pattern(3menu) on Linux

The text 71caea17d326, as Debian 8 (Jessie), Debian 7 (Wheezy) shipped it.

get and set a menu's pattern buffer

menu_pattern(3menu) on Linux now