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