get_event         757 src/filemanager/filegui.c   get_event:
get_event         789 src/filemanager/filegui.c             goto get_event;