Re: If the start scene command is invoked while a preview is already running, close the current session and invoke a new one -- I find this a bit jarring that we automatically kill, even if the hotkey is accidentally pressed. From a user-experience perspective, I would prefer a pop-up question "Would you like to kill the existing manim shell to start a new shell at the cursor? [y/N]"
Right now, a user can run the "Start scene at cursor" command which will automatically kill the existing terminal and start a new session at the specified line. It will benefit new users who are learning the commands and hotkeys to warn if we are killing their session
Splines
commented
5 days ago
(see this comment)
Right now, a user can run the "Start scene at cursor" command which will automatically kill the existing terminal and start a new session at the specified line. It will benefit new users who are learning the commands and hotkeys to warn if we are killing their session