Fix update of file status when saving (in case cursor position in menu buffer is after the file)
Add keyboard shortcuts in menu (return to select file or function, and space to unfold/fold symbols)