A very minor inconvenience, but is it possible to export the file being worked on when the Binder is hidden?
Thanks
You could do it with one extra click 
Otherwise, not that I know of.
There isn’t, but it’s a good point. I’ve added it to the list of things to look at.
All the best,
Keith