remove @with_terminal export (#273)

JuliaPluto · Nov 21, 2023 · 0406410 · 0406410
1 parent 87f20ae
commit 0406410
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/TerminalNotebook.jl b/src/TerminalNotebook.jl
@@ -187,7 +187,7 @@ function with_terminal(f, args...; color=true, show_value=true)
 end
 
 # ╔═╡ fe8c0c2f-8555-44f0-ae30-628ad4860157
-export with_terminal, @with_terminal
+export with_terminal
 
 # ╔═╡ 376b7763-dd17-4147-a246-a530ace698ec
 # ╠═╡ skip_as_script = true