Properties for all selected files

[LukasP]

Hello,

I often need to change font for printing for files selected in file selector (F11).

The problem is that I have to repeat the action for each single file (document class is not handful here as the class for such file is defined, yes, but I need to change a property temporarily).

It would be nice - when in File Selector - to allow to change Properties for all currently selected files (e.g. font for printing), as is possible when just one file is selected.

Lukas