43

2019/sketch_190408a/sketch_190408a.pyde

@@ -165,19 +165,13 @@ def glue_tab(p1, p2, tab_w, cut_ang=QUARTER_PI):
     edge_len = dist(p1[0], p1[1], p2[0], p2[1])
 
     if edge_len > 2 * cut_len * cos(cut_ang):  # 'normal' trapezoidal tab
-        beginShape()
-        vertex(*p1)  # vertex(p1[0], p1[1])
-        vertex(*f1)  # vertex(f1.x, f1.y)
-        vertex(*f2)  # vertex(f2.x, f2.y)
-        vertex(*p2)  # vertex(p2[0], p2[1])
-        endShape()
+        line_draw(p1, f1)
+        line_draw(f1, f2)
+        line_draw(f2, p2)
     else:  # short triangular tab
-        fm = (f1 + f2) / 2
-        beginShape()
-        vertex(*p1)  # (p1[0], p1[1])
-        vertex(*fm)  # (fm.x, fm.y)
-        vertex(*p2)  # (p2[0], p2[1])
-        endShape()
+        fm = ((f1[0] + f2[0]) / 2, (f1[1] + f2[1]) / 2)
+        line_draw(p1, fm)
+        line_draw(fm, p2)
 
 def keyPressed():
     global ah, bh, ch, dh, box_w, box_d, box_h

2019/sketch_190413b/gif_exporter.py

@@ -0,0 +1,40 @@
+"""
+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()