update_menu       359 src/filemanager/filemanager.c     update_menu ();
update_menu        42 src/filemanager/filemanager.h void update_menu (void);
update_menu       718 src/filemanager/layout.c     update_menu ();