forked from hakimel/reveal.js
-
Notifications
You must be signed in to change notification settings - Fork 4
/
manim_slide.py
50 lines (41 loc) · 1.61 KB
/
manim_slide.py
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
from manim import *
import os
import shutil
config.video_dir= "./video_slides"
config.flush_cache = True
config.disable_caching = True
class SlideScene(Scene):
offset=0.0
breaks=[0]
video_slides_dir="./video_slides"
def setup(self):
super(SlideScene, self).setup()
self.breaks=[0]
def slide_break(self,t=0.5):
self.breaks+=[self.renderer.time+t/2+self.offset]
self.wait(t)
def add_to_offset(self,t):
self.offset+=t
def save_times(self):
self.breaks+=[self.renderer.time+self.offset]
out=""
dirname=os.path.dirname(self.renderer.file_writer.movie_file_path)
for i in range(len(self.breaks)-1):
out+=f"<p class=\"fragment\" type='video' time_start={self.breaks[i]} time_end={self.breaks[i+1]}></p>\n"
with open("%s/%s.txt"%(dirname,type(self).__name__),'w') as f:
f.write(out)
def copy_files(self):
if self.video_slides_dir !=None:
dirname=os.path.dirname(self.renderer.file_writer.movie_file_path)
slide_name = type(self).__name__
if not os.path.exists(self.video_slides_dir):
os.makedirs(self.video_slides_dir)
shutil.copy2(os.path.join(dirname,"%s.mp4"%slide_name), self.video_slides_dir)
shutil.copy2(os.path.join(dirname,"%s.txt"%slide_name), self.video_slides_dir)
def tear_down(self):
super(SlideScene, self).tear_down()
if not config.save_last_frame:
self.save_times()
def print_end_message(self):
super(SlideScene, self).print_end_message()
self.copy_files()