get_event         840 src/filemanager/filegui.c   get_event:
get_event         872 src/filemanager/filegui.c             goto get_event;