Hi all, how do I find out about the filename, the currently open (let's say pdf) device is writing to? If I find 'dev.cur()' returning 'pdf 3' when I expect 'nulldevice 1' I would like to know, which file that pdf device is actually targeting. Any help for my poor organization is highly appreciated... Regards, Andreas