We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent d2c5996 commit 8283ad0Copy full SHA for 8283ad0
src/manimShell.ts
@@ -651,7 +651,7 @@ export class ManimShell {
651
* we are not able to send a keyboard interrupt anymore. Therefore,
652
* ManimGL will take a few seconds to actually close its window. When
653
* the user employs our "Quit preview" command instead, the preview will
654
- * be closed immediately, so that one is preferred.
+ * be closed immediately.
655
*/
656
window.onDidCloseTerminal(async (terminal: Terminal) => {
657
if (terminal !== this.activeShell) {
0 commit comments