Bruno Herbelin d8d4322b2e Added option Recorder file naming style ...

VideoRecorder and PNGRecorder now have setting to decide how to name the files, with date prefix or sequentially numbered.  A base name is given with session filename.

2022-07-20 23:47:22 +02:00

3.2 KiB

Raw Blame History

View Raw