kopia lustrzana https://github.com/villares/sketch-a-day
				
				
				
			
		
			
				
	
	
		
			41 wiersze
		
	
	
		
			1.4 KiB
		
	
	
	
		
			Python
		
	
	
			
		
		
	
	
			41 wiersze
		
	
	
		
			1.4 KiB
		
	
	
	
		
			Python
		
	
	
"""
 | 
						|
Alexandre B A Villares http://abav.lugaralgum.com - GPL v3 
 | 
						|
 | 
						|
A helper for the Processing gifAnimation library https://github.com/extrapixel/gif-animation/tree/3.0
 | 
						|
Download from https://github.com/villares/processing-play/blob/master/export_GIF/unzip_and_move_to_libraries_GifAnimation.zip
 | 
						|
This helper was inspired by an example by Art Simon https://github.com/APCSPrinciples/AnimatedGIF/
 | 
						|
 | 
						|
# add at the start of your sketch:
 | 
						|
  add_library('gifAnimation')
 | 
						|
  from gif_exporter import gif_export
 | 
						|
# add at the end of draw():
 | 
						|
  gif_export(GifMaker)
 | 
						|
"""
 | 
						|
 | 
						|
def gif_export(GifMaker,             # gets a reference to the library
 | 
						|
               filename="exported",  # .gif will be added
 | 
						|
               repeat=0,             # 0 makes it an "endless" animation
 | 
						|
               quality=255,          # quality range 0 - 255
 | 
						|
               delay=200,            # this is quick
 | 
						|
               frames=0,             # 0 will stop on keyPressed or frameCount >= 100000
 | 
						|
               finish=False):        # force stop
 | 
						|
    global gifExporter
 | 
						|
    try:
 | 
						|
        gifExporter
 | 
						|
    except NameError:
 | 
						|
        gifExporter = GifMaker(this, filename + ".gif")
 | 
						|
        gifExporter.setRepeat(repeat)
 | 
						|
        gifExporter.setQuality(quality)
 | 
						|
        gifExporter.setDelay(delay)
 | 
						|
        
 | 
						|
    gifExporter.addFrame()
 | 
						|
 | 
						|
    if frames == 0:
 | 
						|
       if keyPressed and key == "e":
 | 
						|
           finish = True
 | 
						|
                
 | 
						|
    if finish:
 | 
						|
        gifExporter.finish()
 | 
						|
        print("gif saved")
 | 
						|
        exit()
 |