ScreenTraceFile resource

Description
Defines the name of a file used for screen tracing.

If it is not defined, the file will be named  in the directory defined by the traceDir resource, where pid is the process ID of the emulator and suffix is an appropriate suffix for the file type.