dev tip in PlutoRunner.jl

fonsp · Aug 6, 2024 · 31569ff · 31569ff
1 parent 7bb276b
commit 31569ff
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/src/runner/PlutoRunner/src/PlutoRunner.jl b/src/runner/PlutoRunner/src/PlutoRunner.jl
@@ -17,6 +17,10 @@
 # loaded on a runner process, which is something that we might want to change
 # in the future.
 
+# DEVELOPMENT TIP
+# If you are editing this file, you cannot use Revise unfortunately.
+# However! You don't need to restart Pluto to test your changes! You just need to restart the notebook from the Pluto main menu, and the new PlutoRunner.jl will be loaded.
+
 module PlutoRunner
 
 # import these two so that they can be imported from Main on the worker process if it launches without the stdlibs in its LOAD_PATH