update_menu       715 src/filemanager/layout.c     update_menu ();
update_menu       375 src/filemanager/midnight.c     update_menu ();
update_menu        42 src/filemanager/midnight.h void update_menu (void);