On Jun 23, 2016, at 11:29 AM, Ronald Wampler <rdwampler@gmail.com> wrote:
 
If you can, please check out the latest nightly build. We've been reorganzing
the Go menu. It's now called "File Browser" and we moved some of the items to
other menus so that now the remaining items only work with the file browser.
E.g., Go > Current Document is now File Browser > Select Document (it's also
dynamic and will display the name of the current file being edited). I think
it more intuitive than before.
 
Wow, I just played with the file list on the right and discovered I could open pdfs in skim with one click! This is fantastic and will save many of us a great deal of time. Thank you so much, Ronald Wampler! 

Jenny

Professor Jenny Harrison
Department of Mathematics
University of California, Berkeley