mirror of
https://github.com/3b1b/manim.git
synced 2025-11-14 08:47:44 +00:00
Refresh static mobjects on undo's and redo's
This commit is contained in:
parent
62289045cc
commit
04bca6cafb
1 changed files with 2 additions and 0 deletions
|
|
@ -647,11 +647,13 @@ class Scene(object):
|
||||||
if self.undo_stack:
|
if self.undo_stack:
|
||||||
self.redo_stack.append(self.get_state())
|
self.redo_stack.append(self.get_state())
|
||||||
self.restore_state(self.undo_stack.pop())
|
self.restore_state(self.undo_stack.pop())
|
||||||
|
self.refresh_static_mobjects()
|
||||||
|
|
||||||
def redo(self):
|
def redo(self):
|
||||||
if self.redo_stack:
|
if self.redo_stack:
|
||||||
self.undo_stack.append(self.get_state())
|
self.undo_stack.append(self.get_state())
|
||||||
self.restore_state(self.redo_stack.pop())
|
self.restore_state(self.redo_stack.pop())
|
||||||
|
self.refresh_static_mobjects()
|
||||||
|
|
||||||
def save_mobject_to_file(self, mobject: Mobject, file_path: str | None = None) -> None:
|
def save_mobject_to_file(self, mobject: Mobject, file_path: str | None = None) -> None:
|
||||||
if file_path is None:
|
if file_path is None:
|
||||||
|
|
|
||||||
Loading…
Add table
Reference in a new issue