opensource/manim-slides
1
0
Fork 0
mirror of https://github.com/jeertmans/manim-slides.git synced 2025-06-14 08:53:32 +08:00
Code Issues Packages Projects Releases Wiki Activity

chore(present): inform about SIGINT

Browse Source
This commit is contained in:
Jérome Eertmans
2023-08-04 11:14:24 +02:00
parent 94265f6842
commit f01f811639
1 changed files with 13 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

13
manim_slides/present.py
View File

@ -1,5 +1,6 @@
import os import os
import platform import platform
import signal
import sys import sys
import time import time
from enum import Enum, IntEnum, auto, unique from enum import Enum, IntEnum, auto, unique
@ -1102,4 +1103,16 @@ def present(
start_at_animation_number=start_at_animation_number, start_at_animation_number=start_at_animation_number,
) )
a.show() a.show()
# inform about CTRL+C
def sigkill_handler(signum, frame):
logger.warn(
"Thie application cannot be closed with usual CTRL+C, "
"please use the appropriate key defined in your config "
"(default: q)."
)
raise KeyboardInterrupt
signal.signal(signal.SIGINT, sigkill_handler)
sys.exit(app.exec_()) sys.exit(app.exec_())