Closed GoogleCodeExporter closed 9 years ago
What about replacing the extensio nwith 001, 002, ... instaed of the filename ?
We
know we save them as gif anyway, and an emergency backup is not meant to be
used by
others programs...
Original comment by pulkoma...@gmail.com
on 17 Feb 2010 at 3:00
Still need the directory. (Also, 3 digits will wrap after 17 hours of continuous
drawing :)
Original comment by yrizoud
on 17 Feb 2010 at 3:20
Original comment by yrizoud
on 17 Feb 2010 at 3:43
Done in r1467
Original comment by yrizoud
on 16 May 2010 at 2:57
Original issue reported on code.google.com by
yrizoud
on 17 Feb 2010 at 2:54