Drawbot saveImage as gif
- 
					
					
					
					
 hello, should the drawbot extension also be able to save a gif with saveImage()?png and mov work but gif never shows up. thanks, jo 
 
- 
					
					
					
					
 pdf works with the example below. 
 in drawbot directly it saves as.gif.for i in range(10): newPage(300, 200) fill(random(), random(), random()) rect(0, 0, width(), height()) saveImage(["~/Desktop/test_gif.gif"])no traceback. it just never shows up on the desktop. 
 
- 
					
					
					
					
 it should, just change the ext of the save image path to .gifor.movif it not get generated: is there a traceback, does it export as pdf? with multiple pages? can you make an example? thanks 
 
