Export file with Binder hidden

A very minor inconvenience, but is it possible to export the file being worked on when the Binder is hidden?

You could do it with one extra click :slight_smile:

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,