You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Add option to delay commands after terminal start (#78)
* Wait a bit when creating a new terminal
* Make delay a user setting (defaults to 0)
* Add docstrings
* Add "Python" to markdown description
* small spelling fix
---------
Co-authored-by: Vladimir Fokow <[email protected]>
Copy file name to clipboardExpand all lines: package.json
+6-1Lines changed: 6 additions & 1 deletion
Original file line number
Diff line number
Diff line change
@@ -91,9 +91,14 @@
91
91
"markdownDescription": "Configures the number of milliseconds (ms) to wait before your clipboard is restored. (Your clipboard is used to temporarily copy the selected code to be accessible by Manim)."
"markdownDescription": "If enabled, you will be prompted to confirm killing an old session when you want to start a new scene at the cursor while an active scene is running."
97
+
},
98
+
"manim-notebook.delayNewTerminal": {
99
+
"type": "number",
100
+
"default": 0,
101
+
"markdownDescription": "Number of milliseconds (ms) to wait before executing any command in a newly opened terminal. This is useful when you have custom terminal startup commands that need to be executed before running Manim, e.g. a virtual environment activation (Python venv)."
0 commit comments